![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12470-12471 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 109-109 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12468-12468 | 子類 手 and 動物解剖結構 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12469-12469 | 子類 手 and BodySegment |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 880-880 | %每個 FingerBone 是 手 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 832-832 | %每個 PalmBone 是 手 的 initially part |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 744-744 | %每個 WristBone 是 手 的 initially part |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27306-27306 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27305-27305 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27304-27304 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12473-12478 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1492-1500 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6621-6630 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13082-13086 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5134-5142 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19855-19857 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8886-8894 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12509-12514 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1457-1466 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13071-13076 |
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4751-4751 | 等於 手套 and 對於 手 的 covering |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2888-2888 | 子類 LeftHand and BodySideFn 左 and 手 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2891-2891 | 子類 RightHand and BodySideFn 右 and 手 |
![]() |
![]() |