|
|
   Animal
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3392-3393 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14494-14495 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14493-14493 | Animal est compl�tement d�compos� en vertebr� + invertebr� |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14492-14492 | Animal est une sous-classe de organisme |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23778-23778 | initialPart AnimalAnatomicalStructure and animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11556-11556 | initialPart AnimalShell and animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11700-11700 | initialPart Exoskeleton and animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11811-11811 | initialPart Hair and animal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14403-14403 | Organisme est compl�tement d�compos� en animal, plante, champignon, + microorganisme |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4400-4400 | Biped est une sous-classe de animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20044-20044 | DomesticAnimal est une sous-classe de animal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14549-14549 | Invertebr� est une sous-classe de animal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14546-14546 | Vertebr� est une sous-classe de animal |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 972-972 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1151-1151 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 649-649 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 180-180 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 183-183 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2333-2333 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 601-601 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 185-185 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 217-217 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 670-670 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 184-184 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24310-24310 | Le nombre 1 argument de birthplace est une instance de animal |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 204-204 | Le nombre 1 argument de burialplace est une instance de animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24354-24354 | Le nombre 1 argument de deathplace est une instance de animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6812-6812 | Le nombre 2 argument de detainee est une instance de animal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11542-11542 | Le nombre 1 argument de grasps est une instance de animal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15996-15996 | Le nombre 1 argument de wears est une instance de animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20381-20381 | Le nombre 2 argument de meatOfAnimal est une sous-classe de animal |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10712-10723 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10699-10710 |
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6237-6246 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15025-15036 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11558-11565 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2155-2168 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11702-11707 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11682-11687 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11246-11256 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2708-2713 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5490-5500 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10539-10544 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11477-11482 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3374-3402 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11864-11871 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3516-3537 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6577-6579 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18207-18212 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18126-18136 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17710-17715 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10971-10977 | Objet corpusculaire est une instance de vertebr� objet corpusculaire objet corpusculaire est une instance de animal objet corpusculaire est un composant de objet corpusculaire objet corpusculaire est une instance de SpinalColumn |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2876-2882 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4945-4950 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12305-12314 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8889-8893 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21416-21420 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14649-14655 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2759-2766 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11609-11613 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11603-11607 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24188-24194 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1420-1427 |
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 50-72 |
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7319-7333 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13501-13505 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15046-15051 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14862-14867 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2732-2740 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2402-2407 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4338-4347 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6031-6040 |
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 491-503 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1345-1353 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11417-11422 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15986-15993 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1744-1744 | industryProductType FoodManufacturing and FoodForFn animal |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2180-2180 | Apple est une sous-classe de FoodForFn animal |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2282-2282 | Avocado est une sous-classe de FoodForFn animal |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2371-2371 | Coconut est une sous-classe de FoodForFn animal |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2189-2189 | DateFruit est une sous-classe de FoodForFn animal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21660-21660 | Honey est une sous-classe de FoodForFn animal |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2328-2328 | LemonFruit est une sous-classe de FoodForFn animal |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2342-2342 | OrangeFruit est une sous-classe de FoodForFn animal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4113-4113 | Pea est une sous-classe de FoodForFn animal |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2194-2194 | PearFruit est une sous-classe de FoodForFn animal |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3689-3689 | WineGrape est une sous-classe de FoodForFn animal |
|
|
|