BroadGaugeRailway - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - BroadGaugeRailway

BroadGaugeRailway(broad gauge railway)

appearance as argument number 1

(subclass BroadGaugeRailway Railway)

Transportation.kif 353-353

Broad gauge railway is a subclass of railway

appearance as argument number 2

(termFormat ChineseLanguage BroadGaugeRailway "宽轨铁路")	domainEnglishFormat.kif 12058-12058
(termFormat ChineseTraditionalLanguage BroadGaugeRailway "寬軌鐵路")	domainEnglishFormat.kif 12057-12057
(termFormat EnglishLanguage BroadGaugeRailway "broad gauge railway")	domainEnglishFormat.kif 12056-12056

antecedent

(<=>
(instance ?RR BroadGaugeRailway)
(property ?RR BroadGauge))

Transportation.kif 411-413

An entity is an instance of broad gauge railway if and only if the entity the attribute broad gauge

consequent

(<=> (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
(<=> (lengthOfUnclassifiedGaugeRailway ?AREA ?LENGTH) (length (KappaFn ?RAILWAYS (and (located ?RAILWAYS ?AREA) (not (instance ?RAILWAYS (UnionFn StandardGaugeRailway (UnionFn BroadGaugeRailway (UnionFn DualGaugeRailway NarrowGaugeRailway))))))) ?LENGTH))	Transportation.kif 294-306	A length measure is a length of unclassified 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	If a real number an unit of measure(s) is a length of broad gauge railway of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of broad gauge railway and the physical is located at the geographic area

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