No TPTP formula. May not be expressible in strict first order. |
WMD.kif 356-356 |
biologicalAgentCarrier BurkholderiaMallei and mammif�re |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 372-372 |
biologicalAgentCarrier BurkholderiaPseudomallei and mammif�re |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1235-1235 |
biologicalAgentCarrier MonkeypoxVirus and mammif�re |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 247-247 |
biologicalAgentCarrier RickettsialAgent and mammif�re |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14608-14608 |
Oiseau est disjoint de mammif�re |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1976-1976 |
parasitic Louse and mammif�re |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1987-1987 |
parasitic Tick and mammif�re |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14632-14632 |
Mammif�re aquatique est une sous-classe de mammif�re |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4918-4918 |
Camel est une sous-classe de mammif�re |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14644-14644 |
Carnivore est une sous-classe de mammif�re |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30609-30609 |
Ferret est une sous-classe de mammif�re |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20089-20089 |
Herbivore est une sous-classe de mammif�re |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14636-14636 |
Ongul� est une sous-classe de mammif�re |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20345-20345 |
Llama est une sous-classe de mammif�re |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30644-30644 |
MammalCub est une sous-classe de mammif�re |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14640-14640 |
Marsupial est une sous-classe de mammif�re |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14672-14672 |
Primate est une sous-classe de mammif�re |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30456-30456 |
Rhinoceros est une sous-classe de mammif�re |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14667-14667 |
Rongeur est une sous-classe de mammif�re |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20354-20354 |
Skunk est une sous-classe de mammif�re |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 990-990 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1187-1187 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 667-667 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 198-198 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |