No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 656-663 |
LengthMeasure 是 GeographicArea 的 total 水路長路 length 卡帕 SymbolicString and 例 SymbolicString and 水路 部分位於 SymbolicString and GeographicArea and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 685-692 |
LengthMeasure 是 在地區 GeographicArea 的 total 管線 length 卡帕 SymbolicString and 例 SymbolicString and 管道 位於 SymbolicString and GeographicArea and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 655-667 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2008-2029 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2031-2052 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1981-1990 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 829-836 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3202-3215 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1224-1233 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1273-1282 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2887-2903 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2845-2870 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2922-2940 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3095-3114 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3056-3073 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1417-1436 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1395-1413 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3447-3476 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1411-1421 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1428-1443 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3721-3739 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 233-245 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2956-2983 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2999-3026 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3389-3417 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |