TransitiveRelation

-------------------------


(instance starts TransitiveRelation) Merge.kif 7645-7645
(instance stored TransitiveRelation) Mid-level-ontology.kif 12000-12000
(instance subField TransitiveRelation) Mid-level-ontology.kif 19033-19033
(instance subGraph TransitiveRelation) Merge.kif 5591-5591
(instance subPlan TransitiveRelation) Merge.kif 4478-4478
(instance subProposition TransitiveRelation) Merge.kif 4457-4457
(instance successorAttributeClosure TransitiveRelation) Merge.kif 693-693
(instance successorClass TransitiveRelation) Merge.kif 8483-8483
(instance superficialPart TransitiveRelation) Merge.kif 9099-9099
(instance version TransitiveRelation) Merge.kif 14582-14582
(subclass EquivalenceRelation TransitiveRelation) Merge.kif 2298-2298
(subclass PartialOrderingRelation TransitiveRelation) Merge.kif 2271-2271
(termFormat ChineseLanguage TransitiveRelation "传递关系") chinese_format.kif 899-899
(termFormat EnglishLanguage TransitiveRelation "transitive relation") english_format.kif 1010-1010


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