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

Formal Language: 

Term 1: Term 2:

(subclass PartialOrderingRelation TransitiveRelation) Merge.kif 2365-2365 子類 PartialOrderingRelation and TransitiveRelation
(subclass PartialOrderingRelation AntisymmetricRelation) Merge.kif 2366-2366 子類 PartialOrderingRelation and AntisymmetricRelation
(subclass PartialOrderingRelation ReflexiveRelation) Merge.kif 2367-2367 子類 PartialOrderingRelation and ReflexiveRelation
(subclass PartialOrderingRelation TotalValuedRelation) Merge.kif 2368-2368 子類 PartialOrderingRelation and TotalValuedRelation
(subclass TotalOrderingRelation PartialOrderingRelation) Merge.kif 2374-2374 子類 TotalOrderingRelation and PartialOrderingRelation
(instance subclass PartialOrderingRelation) Merge.kif 130-130 子類 and PartialOrderingRelation

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