TransitiveRelation(transitive relation)

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


(instance smaller TransitiveRelation) Merge.kif 7771-7771 smaller is an instance of transitive relation
(instance starts TransitiveRelation) Merge.kif 8034-8034 starts is an instance of transitive relation
(instance stored TransitiveRelation) Mid-level-ontology.kif 14350-14350 stored is an instance of transitive relation
(instance subField TransitiveRelation) Mid-level-ontology.kif 21340-21340 sub field is an instance of transitive relation
(instance subGraph TransitiveRelation) Merge.kif 5897-5897 sub graph is an instance of transitive relation
(instance subPlan TransitiveRelation) Merge.kif 4655-4655 sub plan is an instance of transitive relation
(instance subProposition TransitiveRelation) Merge.kif 4634-4634 sub proposition is an instance of transitive relation
(instance successorAttributeClosure TransitiveRelation) Merge.kif 727-727 successor attribute closure is an instance of transitive relation
(instance successorClass TransitiveRelation) Merge.kif 9012-9012 successor class is an instance of transitive relation
(instance superficialPart TransitiveRelation) Merge.kif 9652-9652 superficial part is an instance of transitive relation
(instance version TransitiveRelation) Merge.kif 15704-15704 version is an instance of transitive relation
(subclass EquivalenceRelation TransitiveRelation) Merge.kif 2392-2392 Equivalence relation is a subclass of transitive relation
(subclass PartialOrderingRelation TransitiveRelation) Merge.kif 2365-2365 Partial ordering relation is a subclass of transitive relation
(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