| 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 1774-1775 | |
| (documentation ExtensionFn JapaneseLanguage "メンバーシップの条件が Attribute である Class に Attribute をマップする UnaryFunction。") | japanese_format.kif 324-325 | |
| (domain ExtensionFn 1 Attribute) | Merge.kif 1771-1771 | ExtensionFn の数値 1 引数は 属性 の instance では |
| (instance ExtensionFn PartialValuedRelation) | Merge.kif 1770-1770 | ExtensionFn は 部分的価値関係 の instance では |
| (instance ExtensionFn UnaryFunction) | Merge.kif 1769-1769 | ExtensionFn は 1変数関数 の instance では |
| (range ExtensionFn Class) | Merge.kif 1772-1772 | ExtensionFn の 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 22993-22993 | |
| (termFormat ChineseTraditionalLanguage ExtensionFn "延期") | domainEnglishFormat.kif 22992-22992 | |
| (termFormat EnglishLanguage ExtensionFn "extension") | domainEnglishFormat.kif 22991-22991 | |
| (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 1349-1359 | totalFacilityTypeInArea 地理的地域, AirportWithPavedRunway に対する class and 非負整数 記号文字列 エンティティー cardinality 記号文字列で記述される class and 非負整数 |
| (=> (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 1611-1620 | |
| (=> (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithPavedRunway) ?COUNT) (exists (?AIRPORT ?RUNWAY) (and (instance ?AIRPORT Airport) (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA)))) |
Transportation.kif 1361-1368 |
| 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 2565-2567 | |
| (=> (instance ?SHIP SpecializedTankerShip) (cargoType ?SHIP (ExtensionFn Fluid))) |
Transportation.kif 2606-2608 |
| statement |
|
|
| (cardinality (ExtensionFn DevelopedCountry) 35) |
Economy.kif 144-144 | cardinality DevelopedCountry に対する class and 35 |
| (cardinality (ExtensionFn DevelopingCountry) 126) |
Economy.kif 613-613 | cardinality DevelopingCountry に対する class and 126 |
| (cardinality (ExtensionFn LeastDevelopedCountry) 42) |
Economy.kif 405-405 | cardinality LeastDevelopedCountry に対する class and 42 |
| (cardinality (ExtensionFn LessDevelopedCountry) 172) |
Economy.kif 229-229 | cardinality LessDevelopedCountry に対する class and 172 |
| (subclass Atmosphere (ExtensionFn Fluid)) |
Weather.kif 11-11 | Atmosphere は Fluid に対する class の subclass では |
|
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