Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass UnaryFunction Function) Merge.kif 3359-3359 1変数関数関数subclass では %n
(subclass UnaryFunction BinaryRelation) Merge.kif 3360-3360 1変数関数2項関係subclass では %n
(subclass UnaryFunction InheritableRelation) Merge.kif 3361-3361 1変数関数InheritableRelationsubclass では %n
(subclass OneToOneFunction UnaryFunction) Merge.kif 3370-3370 1対1関数1変数関数subclass では %n
(subclass UnitOfMeasureMultiplier UnaryFunction) Merge.kif 6442-6442 UnitOfMeasureMultiplier1変数関数subclass では %n
(subclass InfectionFn UnaryFunction) Medicine.kif 1985-1985 InfectionFn1変数関数subclass では %n


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