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 | O conceito Animal e' completamente decomposto em Vertebrado + Invertebrado |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14446-14446 | Animal e' uma sub-classe de Organismo |
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 | O conceito Organismo e' completamente decomposto em Animal, Planta, Cogumelo, + Microorganismo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4407-4407 | Biped e' uma sub-classe de Animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20017-20017 | DomesticAnimal e' uma sub-classe de Animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14503-14503 | Invertebrado e' uma sub-classe de Animal |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6794-6794 | Locust e' uma sub-classe de Animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14500-14500 | Vertebrado e' uma sub-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 | O argumento numero 1 de birthplace e' uma instancia de Animal |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 204-204 | O argumento numero 1 de burialplace e' uma instancia de Animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24297-24297 | O argumento numero 1 de deathplace e' uma instancia de Animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6785-6785 | O argumento numero 2 de detainee e' uma instancia de Animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11496-11496 | O argumento numero 1 de grasps e' uma instancia de Animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15924-15924 | O argumento numero 1 de wears e' uma instancia de Animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20354-20354 | O argumento numero 2 de meatOfAnimal e' uma sub-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 | Objeto Corpuscular e' uma instancia de Vertebrado Objeto Corpuscular Objeto Corpuscular e' uma instancia de Animal Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia 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 e' uma sub-classe de FoodForFn Animal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2282-2282 | Avocado e' uma sub-classe de FoodForFn Animal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2371-2371 | Coconut e' uma sub-classe de FoodForFn Animal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2189-2189 | DateFruit e' uma sub-classe de FoodForFn Animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21633-21633 | Honey e' uma sub-classe de FoodForFn Animal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2328-2328 | LemonFruit e' uma sub-classe de FoodForFn Animal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2342-2342 | OrangeFruit e' uma sub-classe de FoodForFn Animal |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4113-4113 | Pea e' uma sub-classe de FoodForFn Animal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2194-2194 | PearFruit e' uma sub-classe de FoodForFn Animal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3689-3689 | WineGrape e' uma sub-classe de FoodForFn Animal |