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

Formal Language: 



KB Term:  Term intersection
English Word: 

  totalFacilityTypeInArea

Sigma KEE - totalFacilityTypeInArea
totalFacilityTypeInArea

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


(documentation totalFacilityTypeInArea EnglishLanguage "(totalFacilityTypeInArea ?AREA ?TYPE ?COUNT) means that in the GeographicArea ?AREA there a total of ?COUNT number of facilities of type ?TYPE.") Transportation.kif 1216-1219
(domain totalFacilityTypeInArea 1 GeographicArea) Transportation.kif 1213-1213
(domain totalFacilityTypeInArea 2 Class) Transportation.kif 1214-1214
(domain totalFacilityTypeInArea 3 NonnegativeInteger) Transportation.kif 1215-1215
(instance totalFacilityTypeInArea TernaryPredicate) Transportation.kif 1212-1212

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


(format ChineseLanguage totalFacilityTypeInArea "%1 %n 是 对于 %3 在地区 %2 的 total 设施类别") domainEnglishFormat.kif 2491-2491
(format ChineseTraditionalLanguage totalFacilityTypeInArea "%1 %n 是 對於 %3 在地區 %2 的 total 設施類別") domainEnglishFormat.kif 2490-2490
(format EnglishLanguage totalFacilityTypeInArea "%1 is %n total facility type in area %2 for %3") domainEnglishFormat.kif 2489-2489
(termFormat ChineseLanguage totalFacilityTypeInArea "区域总设施类型") domainEnglishFormat.kif 58550-58550
(termFormat ChineseTraditionalLanguage totalFacilityTypeInArea "區域總設施類型") domainEnglishFormat.kif 58549-58549
(termFormat EnglishLanguage totalFacilityTypeInArea "total facility type in area") domainEnglishFormat.kif 58548-58548

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


(<=>
    (totalFacilityTypeInArea ?AREA
        (ExtensionFn AirportWithPavedRunway) ?COUNT)
    (exists (?AIRPORT ?RUNWAY)
        (cardinality
            (KappaFn ?AIRPORT
                (and
                    (instance ?AIRPORT Airport)
                    (instance ?RUNWAY PavedRunway)
                    (part ?RUNWAY ?AIRPORT)
                    (located ?AIRPORT ?AREA))) ?COUNT)))
Transportation.kif 1277-1287
(<=>
    (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)
    (cardinality
        (KappaFn ?ITEM
            (and
                (instance ?ITEM ?TYPE)
                (located ?ITEM ?AREA))) ?COUNT))
Transportation.kif 1221-1228
(=>
    (and
        (totalFacilityTypeInArea ?AREA
            (ExtensionFn AirportWithUnpavedRunway) ?COUNT)
        (greaterThan ?COUNT 0))
    (exists (?AIRPORT ?RUNWAY)
        (and
            (instance ?AIRPORT Airport)
            (instance ?RUNWAY UnpavedRunway)
            (part ?RUNWAY ?AIRPORT)
            (located ?AIRPORT ?AREA))))
Transportation.kif 1482-1491
(=>
    (and
        (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)
        (equal ?COUNT 0))
    (not
        (exists (?ITEM)
            (and
                (instance ?ITEM ?TYPE)
                (located ?ITEM ?AREA)))))
Transportation.kif 1237-1245
(=>
    (totalFacilityTypeInArea ?AREA
        (ExtensionFn AirportWithPavedRunway) ?COUNT)
    (exists (?AIRPORT ?RUNWAY)
        (and
            (instance ?AIRPORT Airport)
            (instance ?RUNWAY PavedRunway)
            (part ?RUNWAY ?AIRPORT)
            (located ?AIRPORT ?AREA))))
Transportation.kif 1289-1296
(=>
    (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)
    (exists (?ITEM)
        (and
            (instance ?ITEM ?TYPE)
            (located ?ITEM ?AREA))))
Transportation.kif 1230-1235


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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