No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12117-12117 |
Attaching is internally related to putting |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10771-10771 |
Increasing is internally related to putting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17409-17409 |
Burying is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5181-5181 |
Concealing is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11253-11253 |
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 18988-18988 |
Diluting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5196-5196 |
Dressing is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17453-17453 |
Entombing is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11259-11259 |
Inserting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17303-17303 |
Installing is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2994-2994 |
Lubricating is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2580-2580 |
Planting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2845-2845 |
Siltation is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12515-12515 |
Wetting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1122-1122 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1461-1461 |
|