Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SentientAgent
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners