|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 932-932 | adjacent orientation is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 382-382 | administrative center is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4012-4012 | administrator is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 183-183 | advertised on is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24139-24139 | affiliated organization is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7518-7518 | age is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3419-3419 | agent name is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2234-2234 | agent operates in area is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 695-695 | agreement adoption date is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14023-14023 | agreement effective date is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 755-755 | agreement effective during is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14048-14048 | expiration date is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14009-14009 | agreement period is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2230-2230 | agricultural product type is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2584-2584 | aim of organization is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 3091-3091 | airQualityIndex is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25672-25672 | air temperature is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 272-272 | album artist is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 303-303 | album cover is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 324-324 | album length is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 253-253 | album release is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 333-333 | album track is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 289-289 | album type is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23204-23204 | alias is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 163-163 | physical amenity in all rooms 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