No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23417-23417 |
实现控制 是 引导 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4343-4343 |
AnimalGuiding 是 引导 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18543-18543 |
戏剧性的指导 是 引导 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11612-11612 |
驾驶 是 引导 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11626-11626 |
教育性过程 是 引导 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 69-69 |
GuidingMotion 是 引导 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10827-10827 |
管理 是 引导 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1725-1725 |
MovingCursor 是 引导 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18493-18493 |
MusicalConducting 是 引导 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 101-101 |
PhysicalGuiding 是 引导 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2252-2252 |
铁路运输控制 是 引导 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10817-10817 |
监管过程 是 引导 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23393-23393 |
座席区 是 引导 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23406-23406 |
发信号 是 引导 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1130-1130 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1477-1477 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 808-808 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 340-340 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 343-343 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2492-2492 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 760-760 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 345-345 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 379-379 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 829-829 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |