(instance smaller TransitiveRelation)	Merge.kif 7807-7807	smaller è un' istanza di RelazioneTransitiva
(instance starts TransitiveRelation)	Merge.kif 8070-8070	starts è un' istanza di RelazioneTransitiva
(instance stored TransitiveRelation)	Mid-level-ontology.kif 14377-14377	stored è un' istanza di RelazioneTransitiva
(instance subField TransitiveRelation)	Mid-level-ontology.kif 21367-21367	subField è un' istanza di RelazioneTransitiva
(instance subGraph TransitiveRelation)	Merge.kif 5898-5898	subGraph è un' istanza di RelazioneTransitiva
(instance subPlan TransitiveRelation)	Merge.kif 4656-4656	subPlan è un' istanza di RelazioneTransitiva
(instance subProposition TransitiveRelation)	Merge.kif 4635-4635	subProposition è un' istanza di RelazioneTransitiva
(instance successorAttributeClosure TransitiveRelation)	Merge.kif 727-727	successorAttributeClosure è un' istanza di RelazioneTransitiva
(instance successorClass TransitiveRelation)	Merge.kif 9048-9048	successorClass è un' istanza di RelazioneTransitiva
(instance superficialPart TransitiveRelation)	Merge.kif 9688-9688	superficialPart è un' istanza di RelazioneTransitiva
(instance version TransitiveRelation)	Merge.kif 15750-15750	version è un' istanza di RelazioneTransitiva
(subclass EquivalenceRelation TransitiveRelation)	Merge.kif 2392-2392	RelazioneDiEquivalenza è una sottoclasse di RelazioneTransitiva
(subclass PartialOrderingRelation TransitiveRelation)	Merge.kif 2365-2365	RelazioneDiOrdineParziale è una sottoclasse di RelazioneTransitiva
(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