| appearance as argument number 1 |
|
| (documentation lengthOfBroadGaugeRailway EnglishLanguage "(lengthOfBroadGaugeRailway ?AREA ?LENGTH) means that the sum length of broad gauge railway routes in the GeographicArea ?AREA is the LengthMeasure ?LENGTH.") | Transportation.kif 177-180 | |
| (domain lengthOfBroadGaugeRailway 1 GeographicArea) | Transportation.kif 174-174 | |
| (domain lengthOfBroadGaugeRailway 2 LengthMeasure) | Transportation.kif 175-175 | |
| (instance lengthOfBroadGaugeRailway BinaryPredicate) | Transportation.kif 173-173 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage lengthOfBroadGaugeRailway "%2 %n 是 %1 的轨道 length ") | domainEnglishFormat.kif 1475-1475 | |
| (format ChineseTraditionalLanguage lengthOfBroadGaugeRailway "%2 %n 是 %1 的軌道 length ") | domainEnglishFormat.kif 1474-1474 | |
| (format EnglishLanguage lengthOfBroadGaugeRailway "%2 is %n a length of broad gauge railway of %1") | domainEnglishFormat.kif 1473-1473 | |
| (termFormat ChineseLanguage lengthOfBroadGaugeRailway "宽轨铁路的长度") | domainEnglishFormat.kif 33971-33971 | |
| (termFormat ChineseTraditionalLanguage lengthOfBroadGaugeRailway "寬軌鐵路的長度") | domainEnglishFormat.kif 33970-33970 | |
| (termFormat EnglishLanguage lengthOfBroadGaugeRailway "length of broad gauge railway") | domainEnglishFormat.kif 33969-33969 |
| antecedent |
|
|
| (<=> (lengthOfBroadGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS BroadGaugeRailway) (located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 182-189 | |
| (=> (and (lengthOfBroadGaugeRailway ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY BroadGaugeRailway) (located ?RAILWAY ?AREA)))) |
Transportation.kif 191-199 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners