TransitiveRelation(推移関係)

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


(instance smaller TransitiveRelation) Merge.kif 7771-7771 smaller推移関係instance では %n
(instance starts TransitiveRelation) Merge.kif 8034-8034 starts推移関係instance では %n
(instance stored TransitiveRelation) Mid-level-ontology.kif 14350-14350 stored推移関係instance では %n
(instance subField TransitiveRelation) Mid-level-ontology.kif 21340-21340 subField推移関係instance では %n
(instance subGraph TransitiveRelation) Merge.kif 5897-5897 subGraph推移関係instance では %n
(instance subPlan TransitiveRelation) Merge.kif 4655-4655 subPlan推移関係instance では %n
(instance subProposition TransitiveRelation) Merge.kif 4634-4634 subProposition推移関係instance では %n
(instance successorAttributeClosure TransitiveRelation) Merge.kif 727-727 successorAttributeClosure推移関係instance では %n
(instance successorClass TransitiveRelation) Merge.kif 9012-9012 successorClass推移関係instance では %n
(instance superficialPart TransitiveRelation) Merge.kif 9652-9652 superficialPart推移関係instance では %n
(instance version TransitiveRelation) Merge.kif 15704-15704 version推移関係instance では %n
(subclass EquivalenceRelation TransitiveRelation) Merge.kif 2392-2392 同値関係推移関係subclass では %n
(subclass PartialOrderingRelation TransitiveRelation) Merge.kif 2365-2365 半順序関係推移関係subclass では %n
(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