No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 853-853 |
例 拉德 and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2093-2093 |
例 RevolutionsPerMinute and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6497-6497 |
範圍 千兆 and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6469-6469 |
範圍 千 and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6483-6483 |
範圍 兆 and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6539-6539 |
範圍 微 and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6525-6525 |
範圍 毫 and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6553-6553 |
範圍 奈米 and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6568-6568 |
範圍 皮可 and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3965-3965 |
範圍 方形單位 and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6511-6511 |
範圍 TERA and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6612-6612 |
範圍 UnitFn and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9868-9868 |
子類 AcidityMeasure and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6207-6207 |
子類 CompositeUnitOfMeasure and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6215-6215 |
子類 NonCompositeUnitOfMeasure and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7449-7449 |
子類 SoundPressureLevelUnit and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6237-6237 |
子類 SystemeInternationalUnit and UnitOfMeasure |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1301-1301 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1819-1819 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 979-979 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 514-514 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 518-518 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2663-2663 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 931-931 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |