(instance smaller TransitiveRelation)	Merge.kif 7757-7757
(instance starts TransitiveRelation)	Merge.kif 8020-8020
(instance stored TransitiveRelation)	Mid-level-ontology.kif 14283-14283
(instance subField TransitiveRelation)	Mid-level-ontology.kif 21243-21243
(instance subGraph TransitiveRelation)	Merge.kif 5883-5883
(instance subPlan TransitiveRelation)	Merge.kif 4641-4641
(instance subProposition TransitiveRelation)	Merge.kif 4620-4620
(instance successorAttributeClosure TransitiveRelation)	Merge.kif 727-727
(instance successorClass TransitiveRelation)	Merge.kif 8998-8998
(instance superficialPart TransitiveRelation)	Merge.kif 9638-9638
(instance version TransitiveRelation)	Merge.kif 15597-15597
(subclass EquivalenceRelation TransitiveRelation)	Merge.kif 2379-2379
(subclass PartialOrderingRelation TransitiveRelation)	Merge.kif 2352-2352
(termFormat ChineseLanguage TransitiveRelation "传递关系")	chinese_format.kif 899-899
(termFormat EnglishLanguage TransitiveRelation "transitive relation")	english_format.kif 1005-1005
(termFormat FrenchLanguage TransitiveRelation "relation transitive")	french_format.kif 575-575
(termFormat Hindi TransitiveRelation "sakarmaka sambandha")	terms-hindi.txt 105-105
(termFormat ItalianLanguage TransitiveRelation "RelazioneTransitiva")	terms-it.txt 106-106
(termFormat JapaneseLanguage TransitiveRelation "推移関係")	japanese_format.kif 2260-2260
(termFormat PortugueseLanguage TransitiveRelation "Relacao Transitiva")	portuguese_format.kif 527-527
(termFormat cz TransitiveRelation "transitive relation")	terms-cz.txt 142-142
(termFormat ro TransitiveRelation "relaþie tranzitivã")	relations-ro.kif 596-596
(termFormat tg TransitiveRelation "")	terms-tg.txt 109-109

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