No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11506-11506 |
Attaching is internally related to putting |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10197-10197 |
Increasing is internally related to putting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15725-15725 |
Burying is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5733-5733 |
Concealing is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10666-10666 |
Covering is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 671-671 |
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 17423-17423 |
Diluting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5747-5747 |
Dressing is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15767-15767 |
Entombing is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10672-10672 |
Inserting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15616-15616 |
Installing is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2969-2969 |
Lubricating is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2518-2518 |
Planting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2782-2782 |
Siltation is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11851-11851 |
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 1466-1466 |
|