|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 332-332 | album track is a subrelation of in list |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23323-23323 | alias is a subrelation of deceptive identifier |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23213-23213 | alias is a subrelation of names |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3129-3129 | alternative title is a subrelation of title in language |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 909-909 | amount charged is a subrelation of transaction amount |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17854-17854 | angle of figure is a subrelation of geometric part |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 349-349 | anthem is a subrelation of represents |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1483-1483 | appraised value is a subrelation of monetary value |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26931-26931 | approves is a subrelation of in scope of interest |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23479-23479 | arrested is a subrelation of controlled |
| No TPTP formula. May not be expressible in strict first order. | Law.kif 227-227 | arresting officer is a subrelation of agent |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1924-1924 | ask price is a subrelation of price |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2426-2426 | associate in organization is a subrelation of member |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13105-13105 | attends is a subrelation of experiencer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1719-1719 | attribute is a subrelation of property |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23042-23042 | aunt is a subrelation of family relation |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3806-3806 | available balance is a subrelation of current account balance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3829-3829 | available cash is a subrelation of available balance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7837-7837 | barometric pressure is a subrelation of measure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8121-8121 | before is a subrelation of before or equal |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3343-3343 | before tax income is a subrelation of income earned |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2809-2809 | believes is a subrelation of in scope of interest |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1904-1904 | bid price is a subrelation of price |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24233-24233 | birthday is a subrelation of anniversary |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2510-2510 | bond rating is a subrelation of attribute |
| 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