|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 880-880 | The number 2 argument of contest object is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1107-1107 | The number 3 argument of contest representation is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3724-3724 | The number 1 argument of contrast ratio is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23429-23429 | The number 2 argument of controlled is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3847-3847 | The number 1 argument of copy is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3848-3848 | The number 2 argument of copy is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29744-29744 | The number 1 argument of covers is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29745-29745 | The number 2 argument of covers is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 993-993 | The number 1 argument of date used is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24298-24298 | The number 2 argument of deathplace is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16148-16148 | The number 2 argument of describes is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Justice.kif 19-19 | The number 3 argument of detained at time in place is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1878-1878 | The number 1 argument of device state is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2600-2600 | The number 2 argument of discovers is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7426-7426 | The number 2 argument of dislikes is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2778-2778 | The number 1 argument of earth altitude is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1891-1891 | The number 1 argument of elevation is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24309-24309 | The number 1 argument of equipment count is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4097-4097 | The number 2 argument of event partly located is an instance of object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15723-15723 | The number 2 argument of experimental control is an instance of object |
| 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 16954-16954 | 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 10023-10023 | 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 23852-23852 | The number 2 argument of financial asset 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