appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3493-3494 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15103-15106 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15102-15102 | Body part is a subclass of anatomical structure |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15067-15067 | Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6252-6252 | The values returned by body area are subclasses of body part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15126-15126 | The values returned by Body side fn are subclasses of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12857-12857 | Animal shell is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1646-1646 | Pinna is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15251-15251 | Body cavity is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15225-15225 | Body covering is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15239-15239 | Body junction is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11903-11903 | Body segment is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15354-15354 | Bone is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15259-15259 | Cell is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12210-12210 | Cell part is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14250-14250 | Chin is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13465-13465 | Cornea is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13813-13813 | Digit appendage is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1658-1658 | Myringa is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2553-2553 | Egg yolk is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13001-13001 | Exoskeleton is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1469-1469 | Eyebrow is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14214-14214 | Face is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21954-21954 | Feather is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1518-1518 | Forehead is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13201-13201 | Frontal lobe is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14197-14197 | Head is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12789-12789 | Hoof is a subclass of body part |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13740-13740 | The number 1 argument of inflammation is an instance of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7287-7287 | The number 1 argument of pain is an instance of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7260-7260 | The number 1 argument of paralysis is an instance of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12034-12034 | The number 1 argument of body angle is an instance of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12035-12035 | The number 2 argument of body angle is an instance of body part |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6752-6752 | The number 2 argument of shedding body part is an instance of body part |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6251-6251 | The number 1 argument of body area is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15125-15125 | The number 2 argument of Body side fn is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31644-31644 | The number 1 argument of Covering fn is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18426-18426 | The number 1 argument of dead or missing body part fn is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11308-11308 | The number 1 argument of edema is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18405-18405 | The number 1 argument of impaired body part fn is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13293-13293 | The number 1 argument of connected is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13294-13294 | The number 2 argument of connected is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 27-27 | The number 1 argument of connected body parts is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 28-28 | The number 2 argument of connected body parts is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1772-1772 | The number 2 argument of muscle insertion is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1722-1722 | The number 2 argument of muscle origin is a subclass of body part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1986-1986 | The number 2 argument of supplies blood is a subclass of body part |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32096-32106 | An entity is an instance of body part and bare is an attribute of the entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the other entity covers the entity holds during the time position |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1000-1011 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3631-3647 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15108-15114 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15116-15121 |
|
consequent |
![]() |
![]() |
![]() |