| 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 1453-1459 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1442-1442 | 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 1461-1461 | 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 893-893 | 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 16951-16958 | 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 12511-12513 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16930-16934 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19750-19755 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19783-19798 |
|
|
|
|