|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 225-225 | room policy in all rooms is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 210-210 | service amenity in all rooms is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24158-24158 | allegiance is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6223-6223 | allergic is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16850-16850 | Alma Mater is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 910-910 | amount charged is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1452-1452 | bid amount is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16349-16349 | ancestor is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24164-24164 | ancestor organization is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17833-17833 | angle of figure is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17865-17865 | angular measure is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24179-24179 | anniversary is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2103-2103 | annual electricity consumption is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2147-2147 | annual electricity export is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2193-2193 | annual electricity import is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1971-1971 | annual electricity production is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1507-1507 | annual expenditures of area is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2267-2267 | annual export total is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2573-2573 | annual import total is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1479-1479 | annual revenues of area is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10659-10659 | antagonist muscles is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 355-355 | anthem is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31375-31375 | applicable relation is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1484-1484 | appraised value is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26944-26944 | approves is an instance of binary predicate |
| 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