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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lengthOfUnpavedHighway
lengthOfUnpavedHighway

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


(documentation lengthOfUnpavedHighway EnglishLanguage "(lengthOfUnpavedHighway ?AREA ?LENGTH) means that the total length of UnsurfacedRoadway in the GeographicArea ?AREA is ?LENGTH.") Transportation.kif 597-599
(domain lengthOfUnpavedHighway 1 GeographicArea) Transportation.kif 595-595 Die Zahl 1 Argument von lengthOfUnpavedHighway ist ein fall von GeographicArea %n{nicht}
(domain lengthOfUnpavedHighway 2 LengthMeasure) Transportation.kif 596-596 Die Zahl 2 Argument von lengthOfUnpavedHighway ist ein fall von LengthMeasure %n{nicht}
(instance lengthOfUnpavedHighway BinaryPredicate) Transportation.kif 594-594 lengthOfUnpavedHighway ist ein fall von BinaryPredicate %n{nicht}

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


(format ChineseLanguage lengthOfUnpavedHighway "%2 %n 是 %1 的未铺设高速公路 length ") domainEnglishFormat.kif 1523-1523
(format ChineseTraditionalLanguage lengthOfUnpavedHighway "%2 %n 是 %1 的未鋪設高速公路 length ") domainEnglishFormat.kif 1522-1522
(format EnglishLanguage lengthOfUnpavedHighway "%2 is %n a length of unpaved highway of %1") domainEnglishFormat.kif 1521-1521
(termFormat ChineseLanguage lengthOfUnpavedHighway "未铺砌的公路的长度") domainEnglishFormat.kif 34043-34043
(termFormat ChineseTraditionalLanguage lengthOfUnpavedHighway "未鋪砌的公路的長度") domainEnglishFormat.kif 34042-34042
(termFormat EnglishLanguage lengthOfUnpavedHighway "length of unpaved highway") domainEnglishFormat.kif 34041-34041

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


(<=>
    (lengthOfUnpavedHighway ?AREA ?LENGTH)
    (length
        (KappaFn ?HIGHWAYS
            (and
                (instance ?HIGHWAYS UnsurfacedRoadway)
                (located ?HIGHWAYS ?AREA))) ?LENGTH))		 Transportation.kif 601-608 lengthOfUnpavedHighway GeographicArea and LengthMeasure genau dann wenn die laenge von die kategorie die SymbolicString beschreibt ist ** LengthMeasure %n{nicht}
(=>
    (and
        (lengthOfUnpavedHighway ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?HIGHWAY)
        (and
            (instance ?HIGHWAY UnsurfacedRoadway)
            (located ?HIGHWAY ?AREA))))		 Transportation.kif 610-618
(=>
    (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
(=>
    (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
(=>
    (and
        (totalLengthOfHighwaySystem ?AREA
            (MeasureFn ?TOTAL ?UNIT))
        (lengthOfUnpavedHighway ?AREA
            (MeasureFn ?UNPAVED ?UNIT)))
    (greaterThanOrEqualTo ?TOTAL ?UNPAVED))		 Transportation.kif 527-533


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