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 13600-13600 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 11704-11704 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 21960-21960 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 21961-21961 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 25162-25162 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 25163-25163 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 28155-28155 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 28156-28156 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 16247-16247 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 16226-16226 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 7404-7404 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 7405-7405 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 20125-20138
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20145-20158
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 16396-16407
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 16283-16291
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 11191-11193

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21431-21435
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 11137-11141
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20113-20117
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20125-20138
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20145-20158
No TPTP formula. May not be expressible in strict first order. Merge.kif 12038-12051
No TPTP formula. May not be expressible in strict first order. Merge.kif 12095-12104
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 12112-12120
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20814-20819
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20822-20827
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 20119-20123
No TPTP formula. May not be expressible in strict first order. Merge.kif 9879-9884
No TPTP formula. May not be expressible in strict first order. Merge.kif 12024-12036
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 3.0 is open source software produced by Articulate Software and its partners