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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExtensionFn
ExtensionFn

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


(documentation ExtensionFn ChineseLanguage "这个 UnaryFunction 把一个 Attribute 联系到 属于这个 Attribute 属性条件的 Class。") Merge.kif 1821-1822
(documentation ExtensionFn EnglishLanguage "A UnaryFunction that maps an Attribute into the Class whose condition for membership is the Attribute.") Merge.kif 1819-1820
(domain ExtensionFn 1 Attribute) Merge.kif 1817-1817 The number 1 argument of extension is an instance of attribute
(instance ExtensionFn PartialValuedRelation) Merge.kif 1816-1816 Extension is an instance of partial valued relation
(instance ExtensionFn UnaryFunction) Merge.kif 1815-1815 Extension is an instance of unary function
(range ExtensionFn Class) Merge.kif 1818-1818 The range of extension is an instance of class

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
(termFormat ChineseLanguage ExtensionFn "延伸函数") chinese_format.kif 258-258 "延伸函数" is the printable form of extension in ChineseLanguage
(termFormat EnglishLanguage ExtensionFn "extension") domainEnglishFormat.kif 4253-4253 "extension" is the printable form of extension in english language

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 1251-1261 A geographic area total facility type in area the class corresponding to airport with paved runway for a nonnegative integer if and only if the nonnegative integer is a cardinality of the class described by a symbolic string
(=>
    (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 1452-1461
(=>
    (totalFacilityTypeInArea ?AREA
        (ExtensionFn AirportWithPavedRunway) ?COUNT)
    (exists (?AIRPORT ?RUNWAY)
        (and
            (instance ?AIRPORT Airport)
            (instance ?RUNWAY PavedRunway)
            (part ?RUNWAY ?AIRPORT)
            (located ?AIRPORT ?AREA))))
Transportation.kif 1263-1270

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


(=>
    (and
        (instance ?PIPE Pipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?STUFF))
    (instance ?STUFF
        (ExtensionFn Fluid)))
Transportation.kif 766-772
(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Liquid)))
Transportation.kif 2350-2352
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))
Transportation.kif 2389-2391

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


(cardinality
    (ExtensionFn DevelopedCountry) 35)
Economy.kif 144-144 35 is a cardinality of the class corresponding to developed country
(cardinality
    (ExtensionFn DevelopingCountry) 126)
Economy.kif 608-608 126 is a cardinality of the class corresponding to developing country
(cardinality
    (ExtensionFn LeastDevelopedCountry) 42)
Economy.kif 405-405 42 is a cardinality of the class corresponding to least developed country
(cardinality
    (ExtensionFn LessDevelopedCountry) 172)
Economy.kif 229-229 172 is a cardinality of the class corresponding to less developed country
(domain flows 1
    (ExtensionFn Fluid))
Geography.kif 5090-5090 The number 1 argument of flows is an instance of the class corresponding to fluid
(domain flows 2
    (ExtensionFn Fluid))
Geography.kif 5091-5091 The number 2 argument of flows is an instance of the class corresponding to fluid
(subclass Atmosphere
    (ExtensionFn Fluid))
Weather.kif 11-11 Atmosphere is a subclass of the class corresponding to fluid


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