Animal(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 14448-14449 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14447-14447 | Animal est compl�tement d�compos� en vertebr� + invertebr� |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14446-14446 | 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 23721-23721 | initialPart AnimalAnatomicalStructure and animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11529-11529 | initialPart AnimalShell and animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11673-11673 | initialPart Exoskeleton and animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11784-11784 | initialPart Hair and animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14357-14357 | 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 4407-4407 | Biped est une sous-classe de animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20017-20017 | DomesticAnimal est une sous-classe de animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14503-14503 | Invertebr� est une sous-classe de animal |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6794-6794 | Locust est une sous-classe de animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14500-14500 | 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 24253-24253 | 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 24297-24297 | 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 6785-6785 | Le nombre 2 argument de detainee est une instance de animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11496-11496 | Le nombre 1 argument de grasps est une instance de animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15924-15924 | 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 20354-20354 | Le nombre 2 argument de meatOfAnimal est une sous-classe de animal |
antecedent |
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 14979-14990 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11531-11538 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2162-2175 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11675-11680 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11655-11660 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11219-11229 | |
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 10505-10510 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11450-11455 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3389-3417 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11837-11844 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3531-3552 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6583-6585 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18128-18133 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18047-18057 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17631-17636 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10944-10950 | 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 12259-12268 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8862-8866 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21389-21393 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14603-14609 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2766-2773 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11582-11586 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11576-11580 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24131-24137 |
|
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 13455-13459 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15000-15005 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14816-14821 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2739-2747 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2409-2414 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4345-4354 |
|
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 11371-11376 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15914-15921 | |
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 21633-21633 | 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 |