| 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 | Die Zahl 1 Argument von ExtensionFn ist ein fall von Attribute %n{nicht} |
| (instance ExtensionFn PartialValuedRelation) | Merge.kif 1760-1760 | ExtensionFn ist ein fall von PartialValuedRelation %n{nicht} |
| (instance ExtensionFn UnaryFunction) | Merge.kif 1759-1759 | ExtensionFn ist ein fall von UnaryFunction %n{nicht} |
| (range ExtensionFn Class) | Merge.kif 1762-1762 | bildbereich von ExtensionFn ist ein fall von Class {nicht} |
| 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 |
|
|
| 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 2395-2397 |
|
| (=> (instance ?SHIP SpecializedTankerShip) (cargoType ?SHIP (ExtensionFn Fluid))) |
Transportation.kif 2434-2436 |
|
| statement |
|
|
| (cardinality (ExtensionFn DevelopedCountry) 35) |
Economy.kif 144-144 | cardinality die kategorie, die DevelopedCountry entspricht and 35 |
| (cardinality (ExtensionFn DevelopingCountry) 126) |
Economy.kif 613-613 | cardinality die kategorie, die DevelopingCountry entspricht and 126 |
| (cardinality (ExtensionFn LeastDevelopedCountry) 42) |
Economy.kif 405-405 | cardinality die kategorie, die LeastDevelopedCountry entspricht and 42 |
| (cardinality (ExtensionFn LessDevelopedCountry) 172) |
Economy.kif 229-229 | cardinality die kategorie, die LessDevelopedCountry entspricht and 172 |
| (domain flows 1 (ExtensionFn Fluid)) |
Geography.kif 5426-5426 | Die Zahl 1 Argument von flows ist ein fall von die kategorie, die Fluid entspricht %n{nicht} |
| (domain flows 2 (ExtensionFn Fluid)) |
Geography.kif 5427-5427 | Die Zahl 2 Argument von flows ist ein fall von die kategorie, die Fluid entspricht %n{nicht} |
| (subclass Atmosphere (ExtensionFn Fluid)) |
Weather.kif 11-11 | Atmosphere ist eine teilkategorie von die kategorie, die Fluid entspricht |
|
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