(instance smaller TransitiveRelation)	Merge.kif 7856-7856
(instance starts TransitiveRelation)	Merge.kif 8119-8119
(instance stored TransitiveRelation)	Mid-level-ontology.kif 15721-15721
(instance subField TransitiveRelation)	Mid-level-ontology.kif 22957-22957
(instance subGraph TransitiveRelation)	Merge.kif 5922-5922
(instance subPlan TransitiveRelation)	Merge.kif 4683-4683
(instance subProposition TransitiveRelation)	Merge.kif 4662-4662
(instance successorAttributeClosure TransitiveRelation)	Merge.kif 720-720
(instance successorClass TransitiveRelation)	Merge.kif 9125-9125
(instance superficialPart TransitiveRelation)	Merge.kif 9788-9788
(instance version TransitiveRelation)	Merge.kif 15854-15854
(subclass EquivalenceRelation TransitiveRelation)	Merge.kif 2403-2403
(subclass PartialOrderingRelation TransitiveRelation)	Merge.kif 2376-2376
(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 de TransitiveRelation "transitive Relation")	terms-de.txt 401-401
(termFormat ro TransitiveRelation "relaþie tranzitivã")	relations-ro.kif 596-596
(termFormat tg TransitiveRelation "")	terms-tg.txt 109-109
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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