(instance spouse SymmetricRelation)	Merge.kif 15372-15372	spouse is an instance of symmetric relation
(subclass EquivalenceRelation SymmetricRelation)	Merge.kif 2294-2294	Equivalence relation is a subclass of symmetric relation
(termFormat ChineseLanguage SymmetricRelation "对称关系")	chinese_format.kif 895-895
(termFormat EnglishLanguage SymmetricRelation "symmetric relation")	english_format.kif 997-997

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