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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
FunctionQuantity63 FunctionQuantity 是一个由 Function 它把 ConstantQuantity 的一个或以上的实例和其它 ConstantQuantity 的实例 联系在一起...^
    UnaryConstantFunctionQuantity2这是 FunctionQuantity 的一个 subclass，它的实例由 UnaryFunction 把 ConstantQuantity Class 的一个实例联系到 ...^
        TimeDependentQuantity1这是连续时间的 UnaryConstantFunctionQuantity。这个 Class 的所有实例都是由 Function 把时间和另一个 ConstantQuantity 如...^

Relation: Term:

Levels "above": Levels "below": Total term limit: Show instances:
All relations: Restrict to file:
Columns to display:

View format: text


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