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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExtensionFn

Sigma KEE - ExtensionFn
ExtensionFn

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


(documentation ExtensionFn ChineseLanguage "这个 UnaryFunction 把一个 Attribute 联系到 属于这个 Attribute 属性条件的 Class。") Merge.kif 1808-1809
(documentation ExtensionFn EnglishLanguage "A UnaryFunction that maps an Attribute into the Class whose condition for membership is the Attribute.") Merge.kif 1806-1807
(domain ExtensionFn 1 Attribute) Merge.kif 1804-1804
(instance ExtensionFn PartialValuedRelation) Merge.kif 1803-1803
(instance ExtensionFn UnaryFunction) Merge.kif 1802-1802
(range ExtensionFn Class) Merge.kif 1805-1805

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


(format ChineseLanguage ExtensionFn "和 %1 对应的 Class") chinese_format.kif 257-257
(format EnglishLanguage ExtensionFn "the class corresponding to %1") english_format.kif 157-157
(format FrenchLanguage ExtensionFn "la classe correspondant � %1") french_format.kif 147-147
(format ItalianLanguage ExtensionFn "la classe corrispondente a %1") relations-it.txt 106-106
(format PortugueseLanguage ExtensionFn "a classe correspondente a %1") portuguese_format.kif 99-99
(format ar ExtensionFn "صِنْف مُطَابِق لـ %1") arabic_format.kif 95-95
(format de ExtensionFn "die kategorie, die %1 entspricht") relations-de.txt 331-331
(format tg ExtensionFn "ang klase ugnay sa %1") relations-tg.txt 222-222
(termFormat ChineseLanguage ExtensionFn "延伸函数") chinese_format.kif 258-258
(termFormat EnglishLanguage ExtensionFn "extension") domainEnglishFormat.kif 4253-4253
(termFormat ar ExtensionFn "«صِنْف مُطَابِق لـ»") arabic_format.kif 545-545
(termFormat tg ExtensionFn "tungkulin ng palugit") relations-tg.txt 223-223

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


(<=>
    (totalFacilityTypeInArea ?AREA
        (ExtensionFn AirportWithPavedRunway) ?COUNT)
    (cardinality
        (KappaFn ?AIRPORT
            (exists (?RUNWAY)
                (and
                    (instance ?AIRPORT Airport)
                    (instance ?RUNWAY PavedRunway)
                    (part ?RUNWAY ?AIRPORT)
                    (located ?AIRPORT ?AREA)))) ?COUNT))
Transportation.kif 1224-1234
(=>
    (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 1425-1434
(=>
    (totalFacilityTypeInArea ?AREA
        (ExtensionFn AirportWithPavedRunway) ?COUNT)
    (exists (?AIRPORT ?RUNWAY)
        (and
            (instance ?AIRPORT Airport)
            (instance ?RUNWAY PavedRunway)
            (part ?RUNWAY ?AIRPORT)
            (located ?AIRPORT ?AREA))))
Transportation.kif 1236-1243

consequent
-------------------------


(=>
    (and
        (instance ?PIPE Pipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?STUFF))
    (instance ?STUFF
        (ExtensionFn Fluid)))
Transportation.kif 739-745
(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Liquid)))
Transportation.kif 2323-2325
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))
Transportation.kif 2362-2364

statement
-------------------------


(cardinality
    (ExtensionFn DevelopedCountry) 35)
Economy.kif 144-144
(cardinality
    (ExtensionFn DevelopingCountry) 126)
Economy.kif 608-608
(cardinality
    (ExtensionFn LeastDevelopedCountry) 42)
Economy.kif 405-405
(cardinality
    (ExtensionFn LessDevelopedCountry) 172)
Economy.kif 229-229
(domain flows 1
    (ExtensionFn Fluid))
Geography.kif 5091-5091
(domain flows 2
    (ExtensionFn Fluid))
Geography.kif 5092-5092
(subclass Atmosphere
    (ExtensionFn Fluid))
Weather.kif 11-11


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners