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 14470-14471 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14469-14469 | Animal est compl�tement d�compos� en vertebr� + invertebr� |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14468-14468 | 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 23720-23720 | initialPart AnimalAnatomicalStructure and animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11528-11528 | initialPart AnimalShell and animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11672-11672 | initialPart Exoskeleton and animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11783-11783 | initialPart Hair and animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14379-14379 | 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 20016-20016 | DomesticAnimal est une sous-classe de animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14525-14525 | 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 14522-14522 | 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 24252-24252 | 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 24296-24296 | 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 6784-6784 | Le nombre 2 argument de detainee est une instance de animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11518-11518 | Le nombre 1 argument de grasps est une instance de animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15946-15946 | 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 20353-20353 | 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 10684-10695 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10671-10682 |
|
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 15001-15012 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11530-11537 | |
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 11674-11679 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11654-11659 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11218-11228 | |
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 10527-10532 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11449-11454 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3397-3425 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11836-11843 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3539-3560 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6582-6584 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18150-18155 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18069-18079 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17653-17658 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10943-10949 | 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 12281-12290 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8861-8865 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21388-21392 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14625-14631 | |
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 11581-11585 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11575-11579 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24130-24136 |
|
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 13477-13481 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15022-15027 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14838-14843 | |
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 11393-11398 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15936-15943 | |
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 21632-21632 | 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 |