|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6232-6232 | Aloe vera plant is a subclass of aloes |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6237-6237 | AloveraGel is a subclass of gel |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2999-2999 | Alpha2ID string is a subclass of alpha2 string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2998-2998 | Alpha2ID string is a subclass of alpha ID string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2986-2986 | Alpha2 string is a subclass of alphabetic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2984-2984 | Alpha3ID string is a subclass of alpha3 string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2983-2983 | Alpha3ID string is a subclass of alpha ID string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2971-2971 | Alpha3 string is a subclass of alphabetic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2969-2969 | Alpha ID string is a subclass of alphabetic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2968-2968 | Alpha ID string is a subclass of formal identifier |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2951-2951 | Alpha numeric ID string is a subclass of alpha numeric string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2950-2950 | Alpha numeric ID string is a subclass of formal identifier |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2939-2939 | Alpha numeric string is a subclass of linguistic expression |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2938-2938 | Alpha numeric string is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19465-19465 | Alphabetic character is a subclass of character |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2902-2902 | Alphabetic string is a subclass of linguistic expression |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2901-2901 | Alphabetic string is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 356-356 | Alt key is a subclass of multi keypress key |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1306-1306 | Alt key hold down is a subclass of holding down a key |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5100-5100 | Altaic language is a subclass of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1204-1204 | Alternator is a subclass of generator |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1420-1420 | Altimeter is a subclass of measuring device |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1498-1498 | Altitude measure is a subclass of length measure |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5610-5610 | Alumina is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27461-27461 | Aluminum is a subclass of elemental substance |
| 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