| BodyPosition(body position) | | address, arabesque, asana, attention, attitude, ballet_position, decubitus, erectness, eversion, guard, lithotomy_position, lotus_position, matsyendra, missionary_position, position, posture, sprawl, sprawling, stance, uprightness |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4006-4007 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18143-18145 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18142-18142 | Body position is a subclass of biological attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20770-20770 | Fist is an instance of body position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20795-20795 | Handstand is an instance of body position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20799-20799 | Kneeling is an instance of body position |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1831-1831 | Lateral recumbant is an instance of body position |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18173-18173 | Prostrate is an instance of body position |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18169-18169 | Sitting is an instance of body position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20816-20816 | Splitting is an instance of body position |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18159-18159 | Standing is an instance of body position |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11504-11504 | Standing is an instance of body position |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11503-11503 | Standing is an instance of body position |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11502-11502 | Standing is an instance of body position |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18147-18157 |
|
|
|
|