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

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
FunctionQuantity63FunctionQuantity は、ConstantQuantity の 1 つ以上のインスタンスから ConstantQuantity の別のインスタンスにマップする Funct...^
    UnaryConstantFunctionQuantity2FunctionQuantity の subclass のインスタンスは、Class ConstantQuantity の 1 つのインスタンスから Class Consta...^
        TimeDependentQuantity1連続時間の UnaryConstantFunctionQuantity。この Class のすべてのインスタンスは、時間の数量をマップする Function によって返される。 温度など...^

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