|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3928-3928 | The number 1 argument of exploits is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16976-16976 | The number 1 argument of faces is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 330-330 | The number 2 argument of facility is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10045-10045 | The number 1 argument of fills is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23851-23851 | The number 2 argument of financial asset is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1079-1079 | The number 1 argument of grain size is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11519-11519 | The number 2 argument of grasps is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18660-18660 | The number 2 argument of has award is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5870-5870 | The number 2 argument of hazardous is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3714-3714 | The number 1 argument of headingWRT compass north is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3705-3705 | The number 1 argument of headingWRT magnetic north is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3696-3696 | The number 1 argument of headingWRT true north is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 262-262 | The number 1 argument of high altitude wind speed is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 251-251 | The number 1 argument of high altitude wind velocity is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14393-14393 | The number 2 argument of inhabits is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2472-2472 | The number 2 argument of instrument is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7774-7774 | The number 1 argument of larger is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7775-7775 | The number 2 argument of larger is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 743-743 | The number 1 argument of last renovation is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1313-1313 | The number 2 argument of loan for purchase is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4076-4076 | The number 2 argument of located is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23298-23298 | The number 1 argument of located at time is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23300-23300 | The number 3 argument of located at time is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 214-214 | The number 1 argument of low altitude wind speed is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 202-202 | The number 1 argument of low altitude wind velocity is an instance of object |
| 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