initialPart |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23699-23705 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23707-23707 | The number 1 argument of initial part is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23708-23708 | The number 2 argument of initial part is a subclass of object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23696-23696 | initial part is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23697-23697 | initial part is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23698-23698 | initial part is internally related to part |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3706-3706 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3705-3705 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3704-3704 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30127-30127 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30126-30126 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30125-30125 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23710-23719 |
|
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 600-608 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1633-1639 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2822-2824 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1809-1814 |
|
consequent |
appearance as argument number 0 |
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. | Anatomy.kif 688-688 | Every arm bone is initially part of a arm |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4583-4583 | Every avocado oil is initially part of a avocado |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4130-4130 | Every barley grain is initially part of a barley grass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10783-10783 | Every bicep is initially part of a arm |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 21-21 | Every bone is initially part of a primate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10801-10801 | Every gastrocnemius is initially part of a leg |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2439-2439 | Every chocolate is initially part of a cocoa bean |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2492-2492 | Every cocoa butter is initially part of a cocoa liquor |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2484-2484 | Every cocoa solid is initially part of a cocoa liquor |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4580-4580 | Every coconut oil is initially part of a coconut |
No TPTP formula. May not be expressible in strict first order. | Food.kif 634-634 | Every coffee is initially part of a coffee bean |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1507-1507 | Every common wheat flour is initially part of a common wheat grain |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1547-1547 | Every corn flour is initially part of a maize grain |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12135-12135 | Every cornea is initially part of a eye |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12505-12505 | Every digit appendage is initially part of a limb |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1517-1517 | Every durum wheat flour is initially part of a durum wheat grain |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2547-2547 | Every egg yolk is initially part of a egg |
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. | Anatomy.kif 1438-1438 | Every eyebrow is initially part of a head |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 880-880 | Every finger bone is initially part of a hand |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2311-2311 | Every flesh or pulp is initially part of a fruit or vegetable |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1102-1102 | Every FoodBone is initially part of a foot |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10830-10830 | Every forearm is initially part of a arm |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |