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 1480-1486
No TPTP formula. May not be expressible in strict first order. Merge.kif 1466-1466 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 657-657 Deity is a subclass of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 13620-13620 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 907-907

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


No TPTP formula. May not be expressible in strict first order. Music.kif 841-841 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 882-882 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. FinancialOntology.kif 3858-3858 The number 2 argument of administrator is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11706-11706 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 275-275 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 21966-21966 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 21967-21967 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 25168-25168 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 25169-25169 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 2716-2716 The number 1 argument of believes is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1242-1242 The number 2 argument of borrower is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28163-28163 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 28164-28164 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 654-654 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 16284-16284 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 16263-16263 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 2706-2706 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 1073-1073 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 1056-1056 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 1098-1098 The number 2 argument of contest representation is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2424-2424 The number 1 argument of credit ranking is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7406-7406 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 7407-7407 The number 2 argument of customer 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 20131-20144
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20151-20164
No TPTP formula. May not be expressible in strict first order. Merge.kif 2638-2644
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16401-16412
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 627-643
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16288-16296
No TPTP formula. May not be expressible in strict first order. Government.kif 4545-4550
No TPTP formula. May not be expressible in strict first order. Government.kif 4538-4543
No TPTP formula. May not be expressible in strict first order. Merge.kif 11211-11213

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21437-21441
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2522-2526
No TPTP formula. May not be expressible in strict first order. Merge.kif 11157-11161
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20119-20123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20131-20144
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20151-20164
No TPTP formula. May not be expressible in strict first order. Merge.kif 12058-12071
No TPTP formula. May not be expressible in strict first order. Merge.kif 12115-12124
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3002-3012
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 12132-12140
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20820-20825
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20828-20833
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 20125-20129
No TPTP formula. May not be expressible in strict first order. Merge.kif 9899-9904
No TPTP formula. May not be expressible in strict first order. Merge.kif 12044-12056
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1375-1381


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