Sitting(坐在)![]() ![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4010-4011 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18092-18093 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6862-6862 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7869-7869 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7870-7870 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7871-7871 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7872-7872 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7873-7873 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7874-7874 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18091-18091 | 例 坐在 and 身體姿勢 |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19901-19901 | 子屬性 蹲 and 坐在 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53258-53258 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53257-53257 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53256-53256 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 840-847 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19864-19874 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 562-572 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19909-19919 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19926-19936 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3733-3748 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5054-5065 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5070-5081 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5025-5034 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3754-3767 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5037-5048 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3720-3727 |
![]() |
![]() |