subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4540-4540 | Account is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 643-643 | Account attribute is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4535-4535 | Account creation rejected is a subclass of content development |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2926-2926 | Account ID is a subclass of virtual place ID |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29928-29928 | Account number is a subclass of symbolic string |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4360-4360 | Account security type is a subclass of relational attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1008-1008 | Accrediting is a subclass of declaring |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3501-3501 | Paracetamol is a subclass of non-steriodal anti-inflammatory |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4305-4305 | ALCAR is a subclass of carnitine |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23417-23417 | Achieving control is a subclass of guiding |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2493-2493 | Acid rainfall is a subclass of raining |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2472-2472 | Acidifying is a subclass of combining |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9868-9868 | Acidity measure is a subclass of unit of measure |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1342-1342 | Acquired immuno deficiency syndrome is a subclass of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | arteries.kif 982-982 | Acromial artery is a subclass of artery |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 513-513 | Across variable accumulator is a subclass of pure twopole |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 524-524 | Across variable source is a subclass of source |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28807-28807 | Actinium is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4477-4477 | Activating a deactivated account is a subclass of data entry |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2262-2262 | Activating UI element is a subclass of user signified action |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1748-1748 | ActiveSync is a subclass of computer protocol |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21137-21137 | Actuarial science is a subclass of science |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4863-4863 | Acute angle is a subclass of two dimensional angle |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3605-3605 | Adalimumab is a subclass of medicine |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1303-1303 | Add to cart is a subclass of process |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |