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


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