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 |
![]() |
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 |
|
![]() |
![]() |