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 |