No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12371-12371 |
Attacher est reli� � l'int�rieur de SUMO � mettre |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10916-10916 |
Augmenter est reli� � l'int�rieur de SUMO � mettre |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17992-17992 |
Burying est une sous-classe de mettre |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5484-5484 |
Concealing est une sous-classe de mettre |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11436-11436 |
Couvrir est une sous-classe de mettre |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 676-676 |
DeployingWeaponOfMassDestruction est une sous-classe de mettre |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19613-19613 |
Diluting est une sous-classe de mettre |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5499-5499 |
Dressing est une sous-classe de mettre |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18036-18036 |
Entombing est une sous-classe de mettre |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11442-11442 |
Inserting est une sous-classe de mettre |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17886-17886 |
Installing est une sous-classe de mettre |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3000-3000 |
Lubricating est une sous-classe de mettre |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2577-2577 |
Planting est une sous-classe de mettre |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2923-2923 |
Siltation est une sous-classe de mettre |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12769-12769 |
Mouiller est une sous-classe de mettre |
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 |