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 1475-1481
No TPTP formula. May not be expressible in strict first order. Merge.kif 1461-1461 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 13583-13583 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 11731-11731 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 21987-21987 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 21988-21988 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 25189-25189 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 25190-25190 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 2711-2711 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 28182-28182 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 28183-28183 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 16230-16230 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 16209-16209 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 2701-2701 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 7431-7431 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 7432-7432 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 20152-20165
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20172-20185
No TPTP formula. May not be expressible in strict first order. Merge.kif 2633-2639
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16423-16434
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 625-641
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16310-16318
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 11171-11173

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21458-21462
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 11117-11121
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20140-20144
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20152-20165
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20172-20185
No TPTP formula. May not be expressible in strict first order. Merge.kif 12021-12034
No TPTP formula. May not be expressible in strict first order. Merge.kif 12078-12087
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3000-3010
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 12095-12103
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20841-20846
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20849-20854
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 20146-20150
No TPTP formula. May not be expressible in strict first order. Merge.kif 9856-9861
No TPTP formula. May not be expressible in strict first order. Merge.kif 12007-12019
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1373-1379


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners