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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnaryConstantFunctionQuantity
UnaryConstantFunctionQuantity(unary constant function quantity)

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


(documentation UnaryConstantFunctionQuantity ChineseLanguage "这是 FunctionQuantity 的一个 subclass，它的实例由 UnaryFunction 把 ConstantQuantity 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 2108-2112
(documentation UnaryConstantFunctionQuantity JapaneseLanguage "FunctionQuantity の subclass のインスタンスは、Class ConstantQuantity の 1 つのインスタンスから Class ConstantQuantity の別のインスタンスにマップする UnaryFunctions によって返される。") japanese_format.kif 412-414
(subclass UnaryConstantFunctionQuantity FunctionQuantity) Merge.kif 2106-2106 Unary constant function quantity is a subclass of function quantity

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


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


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