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 e' uma sub-relacao de measure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7531-7531 |
age e' uma sub-relacao de measure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25971-25971 |
airTemperature e' uma sub-relacao de measure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7861-7861 |
barometricPressure e' uma sub-relacao de measure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1379-1379 |
effectiveRange e' uma sub-relacao de measure |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1005-1005 |
fleetDeadWeightTonnage e' uma sub-relacao de measure |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 987-987 |
fleetGrossRegisteredTonnage e' uma sub-relacao de measure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7544-7544 |
linearExtent e' uma sub-relacao de measure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13977-13977 |
loudness e' uma sub-relacao de measure |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1766-1766 |
memorySize e' uma sub-relacao de measure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10082-10082 |
phMeasure e' uma sub-relacao de measure |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 393-393 |
trackWidth e' uma sub-relacao de measure |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |