| 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 | The number 1 argument of length of broad gauge railway is an instance of geographic area |
| (domain lengthOfBroadGaugeRailway 2 LengthMeasure) | Transportation.kif 175-175 | The number 2 argument of length of broad gauge railway is an instance of length measure |
| (instance lengthOfBroadGaugeRailway BinaryPredicate) | Transportation.kif 173-173 | length of broad gauge railway is an instance of binary predicate |
| 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 34005-34005 | |
| (termFormat ChineseTraditionalLanguage lengthOfBroadGaugeRailway "寬軌鐵路的長度") | domainEnglishFormat.kif 34004-34004 | |
| (termFormat EnglishLanguage lengthOfBroadGaugeRailway "length of broad gauge railway") | domainEnglishFormat.kif 34003-34003 |
| antecedent |
|
|
| (<=> (lengthOfBroadGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (instance ?RAILWAYS BroadGaugeRailway) (located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 182-189 | A length measure is a length of broad gauge railway of a geographic area if and only if the length of the class described by a symbolic string is the length measure |
| (=> (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