No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1669-1669 |
Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14580-14580 |
Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14602-14602 |
Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 283-284 |
Commissioned officer rank is disjointly decomposed into flag officer rank, field grade officer rank, and company grade rank |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3215-3215 |
Computer status is disjointly decomposed into host ready, host down, and booting up |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 179-179 |
Differential equation is disjointly decomposed into first order differential equation and higher order differential equation |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 189-189 |
Differential equation is disjointly decomposed into ordinary differential equation and partial differential equation |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 269-269 |
Enlisted soldier rank is disjointly decomposed into private rank and non commissioned officer rank |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13162-13162 |
Expressing is disjointly decomposed into expressing approval and expressing disapproval |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17227-17227 |
Game artifact is disjointly decomposed into game board and game piece |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14559-14559 |
Invertebrate is disjointly decomposed into worm, mollusk, and arthropod |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 37-37 |
LAN is disjointly decomposed into bus network, star network, and ring network |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1405-1405 |
Language is disjointly decomposed into animal language, human language, and computer language |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14636-14636 |
Mammal is disjointly decomposed into aquatic mammal, hoofed mammal, marsupial, rodent, and primate |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3493-3493 |
Non_steriodal anti_inflammatory is disjointly decomposed into aspirin, ibuprofen, and paracetamol |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 306-306 |
Non commissioned officer rank is disjointly decomposed into juniorNCO rank and seniorNCO rank |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14465-14465 |
Non flowering plant is disjointly decomposed into alga, fern, and moss |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14737-14737 |
Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15357-15357 |
Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2202-2202 |
Power generation is disjointly decomposed into fossil fuel power generation, hydro electric power generation, nuclear power generation, and other source power generation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14682-14682 |
Primate is disjointly decomposed into ape, monkey, and hominid |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2160-2161 |
Relation is disjointly decomposed into binary relation, ternary relation, quaternary relation, quintary relation, and variable arity relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15829-15829 |
Residence is disjointly decomposed into permanent residence and temporary residence |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14481-14481 |
Sentence is disjointly decomposed into statement, supposition, question, request, and order |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15180-15180 |
Tissue is disjointly decomposed into connective tissue, muscle tissue, nervous tissue, and epithelial tissue |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |