subclass

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


No TPTP formula. May not be expressible in strict first order. Muscles.kif 1535-1535 Abductor pollicis longus muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order. Muscles.kif 1590-1590 Abductor pollicis brevis muscle is a subclass of muscle
No TPTP formula. May not be expressible in strict first order. Merge.kif 14936-14936 Abnormal anatomical structure is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1882-1882 Abort is a subclass of computer process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21491-21491 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. Medicine.kif 1677-1677 Petit mal seizure is a subclass of epileptic seizure
No TPTP formula. May not be expressible in strict first order. Food.kif 2059-2059 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 1669-1669 Abstract is a subclass of entity
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1611-1611 Abstraction level attribute is a subclass of timing requirement attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16510-16510 Academic degree is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17139-17139 Accelerating is a subclass of increasing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17138-17138 Accelerating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 628-628 Accelerometer is a subclass of electric device
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 627-627 Accelerometer is a subclass of sensor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2663-2663 Accessing web page is a subclass of network communication
No TPTP formula. May not be expressible in strict first order. arteries.kif 607-607 Accessory meningeal artery is a subclass of external carotid terminal first portion artery
No TPTP formula. May not be expressible in strict first order. Muscles.kif 589-589 Accessory nerve is a subclass of nerve
No TPTP formula. May not be expressible in strict first order. arteries.kif 1654-1654 Accompanying artery of ischiadic nerve is a subclass of anterior iliac artery division
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4539-4539 Account is a subclass of agreement

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