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 1577-1583 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 282-286 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1575-1575 | 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 655-655 | Deity is a subclass of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14699-14699 | Human is a subclass of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 850-850 | Human is a subclass of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 902-902 | Human is a subclass of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 526-526 | Human is a subclass of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 57-57 | Human is a subclass of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 60-60 | Human is a subclass of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2211-2211 | Human is a subclass of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 478-478 | Human is a subclass of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 93-93 | Human is a subclass of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 547-547 | Human is a subclass of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 61-61 | Human is a subclass of cognitive agent |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Music.kif 845-845 | 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 886-886 | 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 4015-4015 | 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 14320-14320 | 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 278-278 | 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 24479-24479 | 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 24480-24480 | 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 27246-27246 | 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 27247-27247 | 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 2810-2810 | 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 1301-1301 | 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 30248-30248 | The number 1 argument of buys is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 681-681 | 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 145-145 | 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 17533-17533 | 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 17512-17512 | 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 2800-2800 | 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 1081-1081 | 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 1064-1064 | 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 1106-1106 | 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 2502-2502 | 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 7938-7938 | The number 1 argument of customer is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3628-3628 | The number 1 argument of customer representative is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3629-3629 | The number 2 argument of customer representative 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 23797-23801 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2594-2598 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11999-12003 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22563-22567 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22575-22588 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22595-22608 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13040-13053 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13101-13110 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2795-2805 |
|
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 13118-13126 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23211-23216 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23218-23223 |
|
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 22569-22573 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10542-10547 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13026-13038 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3173-3184 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1179-1185 |
|
![]() |
![]() |