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 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


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