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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - UnaryConstantFunctionQuantity
UnaryConstantFunctionQuantity(単項定数関数量)

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


(documentation UnaryConstantFunctionQuantity ChineseLanguage "这是 FunctionQuantity 的一个 subclass,它的实例由 UnaryFunctionConstantQuantity Class 的一个实例联系到 ConstantQuantity Class 的另一个 实例所产生。") chinese_format.kif 1797-1799
(documentation UnaryConstantFunctionQuantity EnglishLanguage "A subclass of FunctionQuantity, instances of which are returned by UnaryFunctions that map from one instance of the Class ConstantQuantity to another instance of the Class ConstantQuantity.") Merge.kif 2125-2129
(documentation UnaryConstantFunctionQuantity JapaneseLanguage "FunctionQuantitysubclass のインスタンスは、Class ConstantQuantity の 1 つのインスタンスから Class ConstantQuantity の別のインスタンスにマップする UnaryFunctions によって返される。") japanese_format.kif 412-414
(subclass UnaryConstantFunctionQuantity FunctionQuantity) Merge.kif 2123-2123 単項定数関数量関数量subclass では

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


(subclass TimeDependentQuantity UnaryConstantFunctionQuantity) Merge.kif 2131-2131 時間依存量単項定数関数量subclass では
(termFormat ChineseLanguage UnaryConstantFunctionQuantity "一元常数函数量") chinese_format.kif 883-883 時間依存量単項定数関数量subclass では
(termFormat EnglishLanguage UnaryConstantFunctionQuantity "unary constant function quantity") english_format.kif 968-968 時間依存量単項定数関数量subclass では
(termFormat FrenchLanguage UnaryConstantFunctionQuantity "fonction de quantit� unaire") french_format.kif 559-559 時間依存量単項定数関数量subclass では
(termFormat Hindi UnaryConstantFunctionQuantity "ekaadhaarita sthira prakaarya parimaaNa") terms-hindi.txt 89-89 時間依存量単項定数関数量subclass では
(termFormat ItalianLanguage UnaryConstantFunctionQuantity "FunzioneDiQuantit�UnariaECostante") terms-it.txt 92-92 時間依存量単項定数関数量subclass では
(termFormat JapaneseLanguage UnaryConstantFunctionQuantity "単項定数関数量") japanese_format.kif 2244-2244 時間依存量単項定数関数量subclass では
(termFormat PortugueseLanguage UnaryConstantFunctionQuantity "Funcao de Quantidade Unaria") portuguese_format.kif 511-511 時間依存量単項定数関数量subclass では
(termFormat cz UnaryConstantFunctionQuantity "unary constant functionquantity") terms-cz.txt 126-126 時間依存量単項定数関数量subclass では
(termFormat de UnaryConstantFunctionQuantity "einstellige konstante Funktionsquantitaet") terms-de.txt 385-385 時間依存量単項定数関数量subclass では
(termFormat ro UnaryConstantFunctionQuantity "funcþie de cantitate unarã constantã") relations-ro.kif 580-580 時間依存量単項定数関数量subclass では
(termFormat tg UnaryConstantFunctionQuantity "isang maramihang dami na tungkulin") terms-tg.txt 93-93 時間依存量単項定数関数量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