subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4744-4744 | Mydayis is a subclass of medicine |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4745-4745 | Mydayis is a subclass of mixture |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2311-2311 | Addison's disease is a subclass of auto-immune disease |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1938-1938 | Adductor brevis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2180-2180 | Adductor hallucis muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1947-1947 | Adductor longus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1956-1956 | Adductor magnus muscle is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1905-1905 | Adductor muscles of the &hip is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10101-10101 | ATP is a subclass of biologically active substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15257-15257 | Adjective is a subclass of word |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 986-986 | Adjustable rate account is a subclass of interest bearing account |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2949-2949 | Flash is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12291-12291 | Adrenal gland is a subclass of gland |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12300-12300 | Epinephrine is a subclass of hormone |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1590-1590 | Advanced Audio Distribution Profile is a subclass of Bluetooth network |
No TPTP formula. May not be expressible in strict first order. | Media.kif 296-296 | Advent is a subclass of Christian holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 297-297 | Advent is a subclass of moveable holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 310-310 | Advent sunday is a subclass of Christian holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 312-312 | Advent sunday is a subclass of moveable holiday |
No TPTP formula. May not be expressible in strict first order. | Media.kif 311-311 | Advent sunday is a subclass of Sunday |
No TPTP formula. May not be expressible in strict first order. | People.kif 1159-1159 | Adventistsamfundet is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15261-15261 | Adverb is a subclass of word |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13096-13096 | Advertising is a subclass of disseminating |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3831-3831 | Aegilops grass is a subclass of grass plant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3854-3854 | Aegilops Speltoides is a subclass of Aegilops grass |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |