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