| SentientAgent(sentient agent) | | Aglaia, Alcyone, Alecto, Arjuna, Atreus, Augeas, Bigfoot, Cerberus, Chimaera, Chimera, Chiron, Dardanus, Erinyes, Eumenides, Euphrosyne, Fafnir, Fenrir, Fury, Galatea, Gargantua, Geryon, Gog_and_Magog, Grim_Reaper, Halcyon, Harpy, Hero, Humpty_Dumpty, Hydra, Hyperborean, Iphigenia, Leander, Lilith, Loch_Ness_monster, Maxwell's_demon, Megaera, Minotaur, Nemean_lion, Nessie, Nibelung, Niobe, Paris, Patroclus, Pegasus, Python, Reaper, Sarpedon, Sasquatch, Scylla, Siegfried, Sigurd... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1684-1688 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1457-1463 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1446-1446 | Sentient agent is a subclass of agent |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1465-1465 | Cognitive agent is a subclass of sentient agent |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 849-849 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 905-905 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Justice.kif 17-17 | The number 1 argument of detained at time in place is an instance of sentient agent |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 680-680 | The number 1 argument of speaks language is an instance of sentient agent |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17003-17010 | An object is an instance of sentient agent and living is an attribute of the object if and only if there exists an attribute such that the attribute is an instance of consciousness attribute and the attribute is an attribute of the object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12546-12548 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16982-16986 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18398-18403 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18431-18446 |
|
|
|
|