(instance smaller TransitiveRelation)	Merge.kif 7771-7771
(instance starts TransitiveRelation)	Merge.kif 8034-8034
(instance stored TransitiveRelation)	Mid-level-ontology.kif 14350-14350
(instance subField TransitiveRelation)	Mid-level-ontology.kif 21340-21340
(instance subGraph TransitiveRelation)	Merge.kif 5897-5897
(instance subPlan TransitiveRelation)	Merge.kif 4655-4655
(instance subProposition TransitiveRelation)	Merge.kif 4634-4634
(instance successorAttributeClosure TransitiveRelation)	Merge.kif 727-727
(instance successorClass TransitiveRelation)	Merge.kif 9012-9012
(instance superficialPart TransitiveRelation)	Merge.kif 9652-9652
(instance version TransitiveRelation)	Merge.kif 15704-15704
(subclass EquivalenceRelation TransitiveRelation)	Merge.kif 2392-2392
(subclass PartialOrderingRelation TransitiveRelation)	Merge.kif 2365-2365
(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 108-108
(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