KB Snapshot: people_core

Generated 2026-04-09 19:53:10 UTC | Corpus: D:\_PROJECTS\prethinker\kb_store\people_core\kb.pl

Summary

Facts
1
Rules
1
Predicate Signatures
2

Predicate Signatures

  • man/1
  • mortal/1

Facts

  • man(socrates).

Rules

  • mortal(X) :- man(X).

Ontology Profile JSON

{
  "ontology_name": "people_core",
  "generated_at_utc": "2026-04-09T17:04:19+00:00",
  "clause_count": 2,
  "predicate_signatures": [
    "man/1",
    "mortal/1"
  ],
  "fact_predicates": [
    "man/1"
  ],
  "rule_head_predicates": [
    "mortal/1"
  ],
  "rule_body_predicates": [
    "man/1"
  ]
}