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 is exhaustively partitioned into vertebrate and invertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14468-14468 | 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 23720-23720 | 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 11528-11528 | Every animal shell is initially part of a animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11672-11672 | Every exoskeleton is initially part of a animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11783-11783 | Every hair is initially part of a animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14379-14379 | 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 20016-20016 | Domestic animal is a subclass of animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14525-14525 | 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 14522-14522 | 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 24252-24252 | 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 24296-24296 | 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 6784-6784 | The number 2 argument of detainee is an instance of animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11518-11518 | The number 1 argument of grasps is an instance of animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15946-15946 | 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 20353-20353 | 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. | 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 | 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 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 | 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 21632-21632 | 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 |