No TPTP formula. May not be expressible in strict first order. |
WMD.kif 284-284 |
接触 是 炭疽杆菌 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 201-201 |
接触 是 细菌剂 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 476-476 |
接触 是 发泡剂 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1859-1859 |
接触 是 拉萨病毒 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17101-17101 |
捕 是 接触 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11636-11636 |
拥抱 是 接触 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11503-11503 |
抓 是 接触 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11533-11533 |
碰撞 是 接触 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11600-11600 |
接吻 是 接触 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11625-11625 |
舔 是 接触 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5701-5701 |
按摩 是 接触 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1534-1534 |
TouchSurfaceAction 是 接触 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1127-1127 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1471-1471 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 805-805 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 337-337 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 340-340 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2489-2489 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 757-757 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 342-342 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 376-376 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 826-826 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 341-341 |
|