| 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 1578-1584 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 277-281 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1576-1576 | 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 1586-1586 | Cognitive agent is a subclass of sentient agent |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 849-849 | Cognitive agent is a subclass of sentient agent |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 900-900 | Cognitive agent is a subclass of sentient agent |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 525-525 | Cognitive agent is a subclass of sentient agent |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 56-56 | Cognitive agent is a subclass of sentient agent |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 59-59 | Cognitive agent is a subclass of sentient agent |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2210-2210 | Cognitive agent is a subclass of sentient agent |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 477-477 | Cognitive agent is a subclass of sentient agent |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 92-92 | Cognitive agent is a subclass of sentient agent |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 351-351 | Cognitive agent is a subclass of sentient agent |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 546-546 | Cognitive agent is a subclass of sentient agent |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 60-60 | Cognitive agent is a subclass of sentient agent |
| 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 729-729 | 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 18486-18493 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13615-13617 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18495-18501 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18465-18469 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23570-23575 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23603-23618 |
|
|
|
|