No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23469-23469 |
Achieving control is a subclass of guiding |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4336-4336 |
Animal guiding is a subclass of guiding |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18570-18570 |
Dramatic directing is a subclass of guiding |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11658-11658 |
Driving is a subclass of guiding |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11672-11672 |
Educational process is a subclass of guiding |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 69-69 |
Guiding motion is a subclass of guiding |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10861-10861 |
Managing is a subclass of guiding |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1725-1725 |
Moving cursor is a subclass of guiding |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18520-18520 |
Musical conducting is a subclass of guiding |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 101-101 |
Physical guiding is a subclass of guiding |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2258-2258 |
Rail carrier control is a subclass of guiding |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10851-10851 |
Regulatory process is a subclass of guiding |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23445-23445 |
Seating is a subclass of guiding |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23458-23458 |
Signalling is a subclass of guiding |
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 |