No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 607-607 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 610-610 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 368-368 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 177-177 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2102-2102 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 320-320 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 378-378 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 794-794 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 215-215 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 390-390 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 409-409 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 350-350 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 868-868 |
absorbedDose est une sous-relation de measure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7517-7517 |
age est une sous-relation de measure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25675-25675 |
airTemperature est une sous-relation de measure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7815-7815 |
barometricPressure est une sous-relation de measure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1386-1386 |
effectiveRange est une sous-relation de measure |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1005-1005 |
fleetDeadWeightTonnage est une sous-relation de measure |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 987-987 |
fleetGrossRegisteredTonnage est une sous-relation de measure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7530-7530 |
linearExtent est une sous-relation de measure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13727-13727 |
loudness est une sous-relation de measure |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1660-1660 |
memorySize est une sous-relation de measure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9864-9864 |
phMeasure est une sous-relation de measure |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1528-1528 |
significantWaveHeight est une sous-relation de measure |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |