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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 2022-2026
(subclass UnaryConstantFunctionQuantity FunctionQuantity) Merge.kif 2020-2020 subclass UnaryConstantFunctionQuantity and FunctionQuantity

appearance as argument number 2

(subclass TimeDependentQuantity UnaryConstantFunctionQuantity) Merge.kif 2028-2028 subclass TimeDependentQuantity and UnaryConstantFunctionQuantity
(termFormat ChineseLanguage UnaryConstantFunctionQuantity "一元常数函数量") chinese_format.kif 883-883
(termFormat EnglishLanguage UnaryConstantFunctionQuantity "unary constant function quantity") english_format.kif 973-973

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners