SittingDown
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19934-19935 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2735-2735 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19932-19932 | Sitting down is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19933-19933 | Sitting down is a subclass of motion downward |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53266-53266 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53265-53265 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53264-53264 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19937-19947 |
|