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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CognitiveAgent
CognitiveAgent(cognitive agent)Adonis, Aeolian, Aesculapius, Aether, Agdistis, Ahriman, Alcides, Andvari, Antichrist, Antum, Anunnaki, Argus, Ariadne, Asclepius, Asklepios, Asterope, Atlas, Avalokiteshvara, Avalokitesvara, Babar, Balarama, Beelzebub, Brer_Rabbit, Brunhild, Brunnhilde, Brynhild, Bunyan, Cadmus, Calliope, Calypso, Chandi, Charon, Circe, Clio, Cocus, Cora, Crius, Cyclops, Damon_and_Pythias, Despoina, Devil, Dido, Doris, Enuki, Epimetheus, Erato, Euryale, Eurydice, Euterpe, Gorgon...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1689-1692
No TPTP formula. May not be expressible in strict first order. Merge.kif 1518-1524
No TPTP formula. May not be expressible in strict first order. Merge.kif 1516-1516 Cognitive agent is a subclass of sentient agent

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 665-665 Deity is a subclass of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 14376-14376 Human is a subclass of cognitive agent
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 850-850
No TPTP formula. May not be expressible in strict first order. english_format.kif 902-902

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Music.kif 842-842 The number 1 argument of musical interpretation is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Music.kif 883-883 The number 2 argument of remix function is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 250-250 The number 2 argument of account holder is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13536-13536 The number 4 argument of agreement clause is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Music.kif 276-276 The number 2 argument of album artist is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23574-23574 The number 1 argument of allegiance is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23575-23575 The number 2 argument of allegiance is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26298-26298 The number 1 argument of approves is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26299-26299 The number 2 argument of approves is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2750-2750 The number 1 argument of believes is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29343-29343 The number 1 argument of buys is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29344-29344 The number 2 argument of buys is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Hotel.kif 660-660 The number 1 argument of check-out time is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Music.kif 144-144 The number 1 argument of composer is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 17196-17196 The number 3 argument of confers obligation is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 17175-17175 The number 3 argument of confers right is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2740-2740 The number 1 argument of considers is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Music.kif 1074-1074 The number 2 argument of contest entry is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Music.kif 1057-1057 The number 2 argument of contest organizer is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Music.kif 1099-1099 The number 2 argument of contest representation is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7389-7389 The number 1 argument of customer is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7390-7390 The number 2 argument of customer is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15685-15685 The number 2 argument of defendant is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2728-2728 The number 1 argument of desires is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7116-7116 The number 1 argument of disapproves is an instance of cognitive agent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 228-235
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21716-21729
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21736-21749
No TPTP formula. May not be expressible in strict first order. Merge.kif 2672-2678
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18052-18063
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 629-645
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17937-17945
No TPTP formula. May not be expressible in strict first order. Government.kif 4594-4599
No TPTP formula. May not be expressible in strict first order. Government.kif 4587-4592
No TPTP formula. May not be expressible in strict first order. Merge.kif 11828-11830

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22905-22909
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2541-2545
No TPTP formula. May not be expressible in strict first order. Merge.kif 11774-11778
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21704-21708
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21716-21729
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21736-21749
No TPTP formula. May not be expressible in strict first order. Merge.kif 12742-12755
No TPTP formula. May not be expressible in strict first order. Merge.kif 12799-12808
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3005-3015
No TPTP formula. May not be expressible in strict first order. Music.kif 67-80
No TPTP formula. May not be expressible in strict first order. Merge.kif 12816-12824
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22319-22324
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22326-22331
No TPTP formula. May not be expressible in strict first order. Military.kif 62-71
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21710-21714
No TPTP formula. May not be expressible in strict first order. Merge.kif 10403-10408
No TPTP formula. May not be expressible in strict first order. Merge.kif 12728-12740
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1376-1382


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