|
| 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 4030-4030 | 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 25785-25785 | affiliated organization is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7562-7562 | age is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3403-3403 | agent name is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2195-2195 | agent operates in area is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 659-659 | agreement adoption date is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15394-15394 | agreement effective date is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 718-718 | agreement effective during is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15419-15419 | expiration date is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15380-15380 | agreement period is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2470-2470 | agricultural product type is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2545-2545 | aim of organization is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 3777-3777 | air quality index is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27570-27570 | 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 24845-24845 | 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 |
| 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 |
| 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