Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - totalLengthOfHighwaySystem
totalLengthOfHighwaySystem

appearance as argument number 1
-------------------------


(instance totalLengthOfHighwaySystem BinaryPredicate) Transportation.kif 476-476 total length of highway system is an instance of binary predicate
(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
(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 The number 2 argument of total length of highway system is an instance of length measure

appearance as argument number 2
-------------------------


(format EnglishLanguage totalLengthOfHighwaySystem "%2 is %n a total length of highway system of %1") domainEnglishFormat.kif 2509-2509
(format ChineseTraditionalLanguage totalLengthOfHighwaySystem "%2 %n 是 %1 的 total 高速公路系統長度") domainEnglishFormat.kif 2510-2510
(format ChineseLanguage totalLengthOfHighwaySystem "%2 %n 是 %1 的 total 高速公路系统长度") domainEnglishFormat.kif 2511-2511
(termFormat EnglishLanguage totalLengthOfHighwaySystem "total length of highway system") domainEnglishFormat.kif 58579-58579
(termFormat ChineseTraditionalLanguage totalLengthOfHighwaySystem "公路系統總長度") domainEnglishFormat.kif 58580-58580
(termFormat ChineseLanguage totalLengthOfHighwaySystem "公路系统总长度") domainEnglishFormat.kif 58581-58581

antecedent
-------------------------


(<=>
    (totalLengthOfHighwaySystem ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS Roadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 484-491 X is a total length of highway system of Y if and only if the length of the class described by Z is X
(=>
    (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 X Y(s) is a total length of highway system of Z, Y is an instance of unit of length, and X is greater than 0, then there exists W such that W is an instance of roadway and W is located at Z
(=>
    (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 X Y(s) is a total length of highway system of Z, W Y(s) is a length of paved highway of Z, and V Y(s) is a length of unpaved highway of Z, then equal X and (W and V)
(=>
    (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 X Y(s) is a total length of highway system of Z, W Y(s) is a length of paved highway of Z, V Y(s) is a length of unpaved highway of Z, and Y is an instance of unit of length, then (W and V) Y(s) is a total length of highway system of Z
(=>
    (and
        (totalLengthOfHighwaySystem ?AREA
            (MeasureFn ?TOTAL ?UNIT))
        (lengthOfPavedHighway ?AREA
            (MeasureFn ?PAVED ?UNIT)))
    (greaterThanOrEqualTo ?TOTAL ?PAVED))		 Transportation.kif 519-525 If X Y(s) is a total length of highway system of Z and W Y(s) is a length of paved highway of Z, then X is greater than or equal to W
(=>
    (and
        (totalLengthOfHighwaySystem ?AREA
            (MeasureFn ?TOTAL ?UNIT))
        (lengthOfUnpavedHighway ?AREA
            (MeasureFn ?UNPAVED ?UNIT)))
    (greaterThanOrEqualTo ?TOTAL ?UNPAVED))		 Transportation.kif 527-533 If X Y(s) is a total length of highway system of Z and W Y(s) is a length of unpaved highway of Z, then X is greater than or equal to W

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 X Y(s) is a total length of highway system of Z, W Y(s) is a length of paved highway of Z, V Y(s) is a length of unpaved highway of Z, and Y is an instance of unit of length, then (W and V) Y(s) is a total length of highway system of Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners