No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12499-12499 |
Attaching is internally related to putting |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11032-11032 |
Increasing is internally related to putting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19564-19564 |
Burying is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6422-6422 |
Concealing is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11564-11564 |
Covering is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 676-676 |
Deploying weapon of mass destruction is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21185-21185 |
Diluting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6437-6437 |
Dressing is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19608-19608 |
Entombing is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11570-11570 |
Inserting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19458-19458 |
Installing is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3053-3053 |
Lubricating is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2735-2735 |
Planting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3081-3081 |
Siltation is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12901-12901 |
Wetting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1122-1122 |
Wetting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1461-1461 |
Wetting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 800-800 |
Wetting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 332-332 |
Wetting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 335-335 |
Wetting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2484-2484 |
Wetting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 752-752 |
Wetting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 337-337 |
Wetting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 371-371 |
Wetting is a subclass of putting |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |