No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12395-12395 |
Colar e' relacionado internamente por SUMO a Colocar |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10928-10928 |
Aumentar e' relacionado internamente por SUMO a Colocar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18020-18020 |
Burying e' uma sub-classe de Colocar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5479-5479 |
Concealing e' uma sub-classe de Colocar |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11460-11460 |
Cobrir e' uma sub-classe de Colocar |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 676-676 |
DeployingWeaponOfMassDestruction e' uma sub-classe de Colocar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19641-19641 |
Diluting e' uma sub-classe de Colocar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5494-5494 |
Dressing e' uma sub-classe de Colocar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18064-18064 |
Entombing e' uma sub-classe de Colocar |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11466-11466 |
Inserting e' uma sub-classe de Colocar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17914-17914 |
Installing e' uma sub-classe de Colocar |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2977-2977 |
Lubricating e' uma sub-classe de Colocar |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2577-2577 |
Planting e' uma sub-classe de Colocar |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2923-2923 |
Siltation e' uma sub-classe de Colocar |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12793-12793 |
Molhar e' uma sub-classe de Colocar |
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 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 800-800 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 332-332 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 335-335 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2484-2484 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 752-752 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 337-337 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 371-371 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |