| Standing | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4008-4009 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18139-18140 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18138-18138 | Standing est une instance de BodyPosition |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1782-1782 | StandardAnatomicalPosition est un sous-attribut de Standing |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55016-55016 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55015-55015 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55014-55014 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1469-1481 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1488-1500 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18142-18146 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 541-548 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19937-19947 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19954-19964 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16438-16454 |
|
|
|
|