CognitiveAgent(cognitive agent) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16264-16264 | The number 2 argument of defendant is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2788-2788 | The number 1 argument of desires is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7440-7440 | The number 1 argument of disapproves is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Music.kif 240-240 | The number 1 argument of discography is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7425-7425 | The number 1 argument of dislikes is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7410-7410 | The number 1 argument of doubts is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16639-16639 | The number 2 argument of employs is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7368-7368 | The number 1 argument of enjoys is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10589-10589 | The number 1 argument of expects is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3944-3944 | The number 2 argument of experimental subject is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Military.kif 910-910 | The number 1 argument of fit for military service is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 66-66 | The number 1 argument of guest is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17447-17447 | The number 2 argument of holds obligation is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17427-17427 | The number 2 argument of holds right is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2723-2723 | The number 1 argument of in scope of interest is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16498-16498 | The number 2 argument of issued by is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2825-2825 | The number 1 argument of knows is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1287-1287 | The number 2 argument of lender is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Music.kif 163-163 | The number 2 argument of lyricist is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1163-1163 | The number 2 argument of music chart by is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2751-2751 | The number 1 argument of needs is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 866-866 | The number 1 argument of net worth is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 238-238 | The number 1 argument of observes holiday is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2587-2587 | The number 2 argument of option holder is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2600-2600 | The number 2 argument of option seller is an instance of cognitive agent |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |