subclass

-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1575-1575 AP c is a subclass of armored vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1573-1573 AP c is a subclass of land vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1571-1571 AP c is a subclass of military vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1572-1572 AP c is a subclass of passenger vehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1574-1574 AP c is a subclass of powered vehicle
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3587-3587 ATM machine is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3663-3663 ATM slot is a subclass of hole
No TPTP formula. May not be expressible in strict first order. Cars.kif 4818-4818 Atv tire is a subclass of tire
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2137-2137 Audio/Video Control Transport Protocol is a subclass of computer program
No TPTP formula. May not be expressible in strict first order. Food.kif 316-316 Abalone is a subclass of mollusk
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 514-514 Abayah is a subclass of cloak
No TPTP formula. May not be expressible in strict first order. People.kif 1222-1222 Abbey is a subclass of religious organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12278-12278 Abdomen is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Merge.kif 14666-14666 Abnormal anatomical structure is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1887-1887 Abort is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20804-20804 Aborting is a subclass of removing
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 955-955 Above the line is a subclass of joint publication
No TPTP formula. May not be expressible in strict first order. WMD.kif 438-438 Abrin toxin is a subclass of protein
No TPTP formula. May not be expressible in strict first order. WMD.kif 437-437 Abrin toxin is a subclass of toxin
No TPTP formula. May not be expressible in strict first order. Food.kif 387-387 Absolut is a subclass of Vodka
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1434-1434 Absolute altimeter is a subclass of altimeter
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1391-1391 Absolute dud is a subclass of nuclear weapon
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1363-1363 Absolute filter is a subclass of filter
No TPTP formula. May not be expressible in strict first order. Merge.kif 1609-1609 Abstract is a subclass of entity
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1616-1616 Abstraction level attribute is a subclass of timing requirement 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