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。") chinese_format.kif 1719-1720
(documentation ExtensionFn EnglishLanguage "A UnaryFunction that maps an Attribute into the Class whose condition for membership is the Attribute.") Merge.kif 1764-1765
(documentation ExtensionFn JapaneseLanguage "メンバーシップの条件が Attribute である Class に Attribute をマップする UnaryFunction。") japanese_format.kif 324-325
(domain ExtensionFn 1 Attribute) Merge.kif 1761-1761 延伸函数 的 1 数量 是 属性 的 instance
(instance ExtensionFn PartialValuedRelation) Merge.kif 1760-1760 延伸函数 是 部分值关系 的 instance
(instance ExtensionFn UnaryFunction) Merge.kif 1759-1759 延伸函数 是 一元函数 的 instance
(range ExtensionFn Class) Merge.kif 1762-1762 延伸函数 的 range 是 类 的实例

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 262-262
(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 JapaneseLanguage ExtensionFn " %1 に対する class") japanese_format.kif 1975-1975
(format PortugueseLanguage ExtensionFn "a classe correspondente a %1") portuguese_format.kif 99-99
(format de ExtensionFn "die kategorie, die %1 entspricht") relations-de.txt 331-331
(format ro ExtensionFn "class%t{clasa} corespunzãtoare lui %1") relations-ro.kif 166-166
(format sv ExtensionFn "klassen som motsvarar %1") relations-sv.txt 153-153
(format tg ExtensionFn "ang klase ugnay sa %1") relations-tg.txt 222-222
(termFormat ChineseLanguage ExtensionFn "延伸函数") chinese_format.kif 258-258
(termFormat ChineseLanguage ExtensionFn "延期") domainEnglishFormat.kif 22990-22990
(termFormat ChineseTraditionalLanguage ExtensionFn "延期") domainEnglishFormat.kif 22989-22989
(termFormat EnglishLanguage ExtensionFn "extension") domainEnglishFormat.kif 22988-22988
(termFormat de ExtensionFn "ExtensionFn") terms-de.txt 105-105
(termFormat tg ExtensionFn "tungkulin ng palugit") relations-tg.txt 223-223

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 地理区域 是 对于 非负整数 在地区 和 机场有着铺设跑道 对应的 Class 的 total 设施类别 若且唯若 有存在 符号串 和 实体 这样 那个 非负整数 是 那个 符号串 所描述的类别 的 cardinality
(=>
    (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
(=>
    (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

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


(=>
    (and
        (instance ?PIPE Pipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?STUFF))
    (instance ?STUFF
        (ExtensionFn Fluid)))		 Transportation.kif 777-783
(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Liquid)))		 Transportation.kif 2389-2391
(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))		 Transportation.kif 2428-2430

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


(cardinality
    (ExtensionFn DevelopedCountry) 35)		 Economy.kif 144-144 35 是 和 发达国家 对应的 Class 的 cardinality
(cardinality
    (ExtensionFn DevelopingCountry) 126)		 Economy.kif 613-613 126 是 和 发展中国家 对应的 Class 的 cardinality
(cardinality
    (ExtensionFn LeastDevelopedCountry) 42)		 Economy.kif 405-405 42 是 和 最不发达国家 对应的 Class 的 cardinality
(cardinality
    (ExtensionFn LessDevelopedCountry) 172)		 Economy.kif 229-229 172 是 和 较未发达国家 对应的 Class 的 cardinality
(domain flows 1
    (ExtensionFn Fluid))		 Geography.kif 5426-5426 流动 的 1 数量 是 和 流体 对应的 Class 的 instance
(domain flows 2
    (ExtensionFn Fluid))		 Geography.kif 5427-5427 流动 的 2 数量 是 和 流体 对应的 Class 的 instance
(subclass Atmosphere
    (ExtensionFn Fluid))		 Weather.kif 11-11 大气层 是 和 流体 对应的 Class 的 subclass


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