subclass |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1144-1144 | Album chart is a subclass of music charts |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8611-8611 | Alcohol is a subclass of organic compound |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 214-214 | Cocktail menu is a subclass of drinks menu |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10904-10904 | Alcoholic beverage is a subclass of beverage |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10905-10905 | Alcoholic beverage is a subclass of depressant |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12285-12285 | Aldosterone is a subclass of steroid |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 7947-7947 | Alemannic language is a subclass of upper german language |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17426-17426 | Alethic attribute is a subclass of objective norm |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4831-4831 | Alfalfa is a subclass of legume |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4820-4820 | Alfalfa plant is a subclass of HerbaceousPlant |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14436-14436 | Alga is a subclass of non flowering plant |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 168-168 | Algebraic equation is a subclass of equation |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 229-229 | Algebro differential attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5093-5093 | Algic language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8643-8643 | Alkaloid is a subclass of biologically active substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8641-8641 | Alkaloid is a subclass of chemical base |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8642-8642 | Alkaloid is a subclass of plant substance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4769-4769 | All-terrain vehicle is a subclass of land vehicle |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4518-4518 | Allegra is a subclass of fexofenadine |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 8022-8022 | Allemannic language is a subclass of upper german language |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6218-6218 | Allergic reaction is a subclass of pathologic process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20265-20265 | Alligator is a subclass of reptile |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2085-2085 | AlmondNut is a subclass of edible nut |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6227-6227 | Aloes is a subclass of succulent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6236-6236 | Aloe vera gel is a subclass of plant substance |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |