Rotating
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17442-17443 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6831-6831 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7769-7769 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7770-7770 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7771-7771 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17441-17441 | 旋转 是 运动 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17482-17482 | 离心运动 是 旋转 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17498-17498 | 向心运动 是 旋转 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3060-3060 | ChurningButter 是 旋转 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1665-1665 | ScrollWheelRotating 是 旋转 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17458-17458 | 震 是 旋转 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50486-50486 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50485-50485 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50484-50484 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2103-2103 | RotationFn 的 1 数量 是 旋转 的 instance |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 617-627 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 639-649 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4927-4942 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17445-17456 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2114-2133 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1651-1672 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 349-361 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2930-2948 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2730-2744 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4301-4314 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6000-6011 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1292-1307 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17468-17480 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2346-2380 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1639-1645 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1652-1658 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3065-3074 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17487-17496 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17502-17511 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 560-570 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2274-2286 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2325-2337 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4198-4206 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2215-2230 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2239-2247 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4588-4604 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15276-15284 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2293-2308 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 783-785 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4019-4028 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4611-4643 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |