|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16263-16263 | 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 7439-7439 | 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 7424-7424 | 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 7409-7409 | 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 16661-16661 | 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 7367-7367 | 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 10611-10611 | 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 17469-17469 | 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 17449-17449 | 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 16497-16497 | 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