Animal(animal) | Animalia, Insessores, Mantophasmatodea, Mecoptera, abranchial, abranchiate, abranchious, acaudal, acaudate, acrodont, all-devouring, ametabolic, ametabolous, anguine, animal, animal_kingdom, animal_order, animate, animate_being, anthophagous, anthophilous, anurous, arenicolous, armored, armoured, autoecious, axenic, baccivorous, beakless, beast, beast_of_burden, big_game, biped, bipedal, bobtail, bobtailed, body, bone-covered, bottom-feeder, branchiate, broken, broken_in, brute, by-catch, bycatch, captive, carnivore, carpophagous, caudate, caudated... |
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 is exhaustively partitioned into vertebrate and invertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14446-14446 | Animal is a subclass of organism |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23721-23721 | Every animal anatomical structure is initially part of a animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11529-11529 | Every animal shell is initially part of a animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11673-11673 | Every exoskeleton is initially part of a animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11784-11784 | Every hair is initially part of a animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14357-14357 | Organism is exhaustively partitioned into animal, plant, fungus, and microorganism |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4407-4407 | Biped is a subclass of animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20017-20017 | Domestic animal is a subclass of animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14503-14503 | Invertebrate is a subclass of animal |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6794-6794 | Locust is a subclass of animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14500-14500 | Vertebrate is a subclass of 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 | The number 1 argument of birthplace is an instance of animal |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 204-204 | The number 1 argument of burialplace is an instance of animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24297-24297 | The number 1 argument of deathplace is an instance of animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6785-6785 | The number 2 argument of detainee is an instance of animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11496-11496 | The number 1 argument of grasps is an instance of animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15924-15924 | The number 1 argument of wears is an instance of animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20354-20354 | The number 2 argument of meat of animal is a subclass of 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 | A corpuscular object is an instance of vertebrate if and only if there exists another corpuscular object such that the corpuscular object is an instance of animal and the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of spinal column |
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 | Food for animal is an industry product type of food manufacturing |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2180-2180 | Apple is a subclass of food for animal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2282-2282 | Avocado is a subclass of food for animal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2371-2371 | Coconut is a subclass of food for animal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2189-2189 | Date fruit is a subclass of food for animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21633-21633 | Honey is a subclass of food for animal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2328-2328 | Lemon fruit is a subclass of food for animal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2342-2342 | Orange fruit is a subclass of food for animal |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4113-4113 | Pea is a subclass of food for animal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2194-2194 | Pear fruit is a subclass of food for animal |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3689-3689 | Wine grape is a subclass of food for animal |