totalLengthOfHighwaySystem - Sigma Knowledge base Browser

appearance as argument number 1

(documentation totalLengthOfHighwaySystem EnglishLanguage "(totalLengthOfHighwaySystem ?AREA ?LENGTH) means that the total length of the highway system in the GeographicArea ?AREA is ?LENGTH. The figure includes both paved and unpaved roads.")	Transportation.kif 479-482
(domain totalLengthOfHighwaySystem 1 GeographicArea)	Transportation.kif 477-477	The number 1 argument of total length of highway system is an instance of geographic area
(domain totalLengthOfHighwaySystem 2 LengthMeasure)	Transportation.kif 478-478	The number 2 argument of total length of highway system is an instance of length measure
(instance totalLengthOfHighwaySystem BinaryPredicate)	Transportation.kif 476-476	total length of highway system is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage totalLengthOfHighwaySystem "%2 %n 是 %1 的 total 高速公路系统长度")	domainEnglishFormat.kif 2507-2507
(format ChineseTraditionalLanguage totalLengthOfHighwaySystem "%2 %n 是 %1 的 total 高速公路系統長度")	domainEnglishFormat.kif 2506-2506
(format EnglishLanguage totalLengthOfHighwaySystem "%2 is %n a total length of highway system of %1")	domainEnglishFormat.kif 2505-2505
(termFormat ChineseLanguage totalLengthOfHighwaySystem "公路系统总长度")	domainEnglishFormat.kif 58624-58624
(termFormat ChineseTraditionalLanguage totalLengthOfHighwaySystem "公路系統總長度")	domainEnglishFormat.kif 58623-58623
(termFormat EnglishLanguage totalLengthOfHighwaySystem "total length of highway system")	domainEnglishFormat.kif 58622-58622

antecedent

(<=> (totalLengthOfHighwaySystem ?AREA ?LENGTH) (length (KappaFn ?HIGHWAYS (and (instance ?HIGHWAYS Roadway) (located ?HIGHWAYS ?AREA))) ?LENGTH))	Transportation.kif 484-491	A length measure is a total length of highway system of a geographic area if and only if the length of the class described by a symbolic string is the length measure
(=> (and (totalLengthOfHighwaySystem ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?HIGHWAY) (and (instance ?HIGHWAY Roadway) (located ?HIGHWAY ?AREA))))	Transportation.kif 493-501	If a real number an unit of measure(s) is a total length of highway system 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 roadway and the physical is located at the geographic area
(=> (and (totalLengthOfHighwaySystem ?AREA (MeasureFn ?LENGTH ?UNIT)) (lengthOfPavedHighway ?AREA (MeasureFn ?LENGTH1 ?UNIT)) (lengthOfUnpavedHighway ?AREA (MeasureFn ?LENGTH2 ?UNIT)) (instance ?UNIT UnitOfLength)) (totalLengthOfHighwaySystem ?AREA (MeasureFn (AdditionFn ?LENGTH1 ?LENGTH2) ?UNIT)))	Transportation.kif 510-517	If a real number an unit of measure(s) is a total length of highway system of a geographic area and the real number1 the unit of measure(s) is a length of paved highway of the geographic area and the real number2 the unit of measure(s) is a length of unpaved highway of the geographic area and the unit of measure is an instance of unit of length, then (the real number1 and the real number2) the unit of measure(s) is a total length of highway system of the geographic area
(=> (and (totalLengthOfHighwaySystem ?AREA (MeasureFn ?LENGTH ?UNIT)) (lengthOfPavedHighway ?AREA (MeasureFn ?LENGTH1 ?UNIT)) (lengthOfUnpavedHighway ?AREA (MeasureFn ?LENGTH2 ?UNIT))) (equal ?LENGTH (AdditionFn ?LENGTH1 ?LENGTH2)))	Transportation.kif 503-508	If a real number an unit of measure(s) is a total length of highway system of a geographic area and the real number1 the unit of measure(s) is a length of paved highway of the geographic area and the real number2 the unit of measure(s) is a length of unpaved highway of the geographic area, then the real number is equal to (the real number1 and the real number2)
(=> (and (totalLengthOfHighwaySystem ?AREA (MeasureFn ?TOTAL ?UNIT)) (lengthOfPavedHighway ?AREA (MeasureFn ?PAVED ?UNIT))) (greaterThanOrEqualTo ?TOTAL ?PAVED))	Transportation.kif 519-525	If a real number an unit of measure(s) is a total length of highway system of a geographic area and another real number the unit of measure(s) is a length of paved highway of the geographic area, then the real number is greater than or equal to the other real number
(=> (and (totalLengthOfHighwaySystem ?AREA (MeasureFn ?TOTAL ?UNIT)) (lengthOfUnpavedHighway ?AREA (MeasureFn ?UNPAVED ?UNIT))) (greaterThanOrEqualTo ?TOTAL ?UNPAVED))	Transportation.kif 527-533	If a real number an unit of measure(s) is a total length of highway system of a geographic area and another real number the unit of measure(s) is a length of unpaved highway of the geographic area, then the real number is greater than or equal to the other real number

consequent

(=>
    (and
        (totalLengthOfHighwaySystem ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (lengthOfPavedHighway ?AREA
            (MeasureFn ?LENGTH1 ?UNIT))
        (lengthOfUnpavedHighway ?AREA
            (MeasureFn ?LENGTH2 ?UNIT))
        (instance ?UNIT UnitOfLength))
    (totalLengthOfHighwaySystem ?AREA
        (MeasureFn
            (AdditionFn ?LENGTH1 ?LENGTH2) ?UNIT)))

Transportation.kif 510-517

If a real number an unit of measure(s) is a total length of highway system of a geographic area and the real number1 the unit of measure(s) is a length of paved highway of the geographic area and the real number2 the unit of measure(s) is a length of unpaved highway of the geographic area and the unit of measure is an instance of unit of length,
then (the real number1 and the real number2) the unit of measure(s) is a total length of highway system of 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

KB Term:			Term intersection

English Word: