TotalValuedRelation
(relation total)
(
instance
conclusion
TotalValuedRelation
)
Merge.kif 16894-16894
conclusion
est une
instance
de
relation total
(
instance
contestParticipant
TotalValuedRelation
)
Mid-level-ontology.kif 19679-19679
contestParticipant
est une
instance
de
relation total
(
instance
diameter
TotalValuedRelation
)
Merge.kif 7662-7662
diameter
est une
instance
de
relation total
(
instance
distance
TotalValuedRelation
)
Merge.kif 7679-7679
distance
est une
instance
de
relation total
(
instance
duration
TotalValuedRelation
)
Merge.kif 7901-7901
duration
est une
instance
de
relation total
(
instance
earlier
TotalValuedRelation
)
Merge.kif 8370-8370
earlier
est une
instance
de
relation total
(
instance
electronNumber
TotalValuedRelation
)
Mid-level-ontology.kif 21707-21707
electronNumber
est une
instance
de
relation total
(
instance
eventLocated
TotalValuedRelation
)
Merge.kif 4121-4121
eventLocated
est une
instance
de
relation total
(
instance
finishes
TotalValuedRelation
)
Merge.kif 8068-8068
finishes
est une
instance
de
relation total
(
instance
geometricDistance
TotalValuedRelation
)
Merge.kif 17973-17973
geometricDistance
est une
instance
de
relation total
(
instance
graphPart
TotalValuedRelation
)
Merge.kif 5886-5886
graphPart
est une
instance
de
relation total
(
instance
greaterThan
TotalValuedRelation
)
Merge.kif 1843-1843
greaterThan
est une
instance
de
relation total
(
instance
larger
TotalValuedRelation
)
Merge.kif 7751-7751
larger
est une
instance
de
relation total
(
instance
lineMeasure
TotalValuedRelation
)
Merge.kif 17965-17965
lineMeasure
est une
instance
de
relation total
(
instance
located
TotalValuedRelation
)
Merge.kif 4072-4072
located
est une
instance
de
relation total
(
instance
manner
TotalValuedRelation
)
Merge.kif 1729-1729
manner
est une
instance
de
relation total
(
instance
maximumPayloadCapacity
TotalValuedRelation
)
MilitaryDevices.kif 79-79
maximumPayloadCapacity
est une
instance
de
relation total
(
instance
maximumPayloadHeightWidth
TotalValuedRelation
)
MilitaryDevices.kif 107-107
maximumPayloadHeightWidth
est une
instance
de
relation total
(
instance
meetsTemporally
TotalValuedRelation
)
Merge.kif 8325-8325
meetsTemporally
est une
instance
de
relation total
(
instance
moves
TotalValuedRelation
)
Merge.kif 10978-10978
moves
est une
instance
de
relation total
(
instance
parent
TotalValuedRelation
)
Merge.kif 16364-16364
parent
est une
instance
de
relation total
(
instance
partlyLocated
TotalValuedRelation
)
Merge.kif 4044-4044
partlyLocated
est une
instance
de
relation total
(
instance
path
TotalValuedRelation
)
Merge.kif 11071-11071
path
est une
instance
de
relation total
(
instance
personTransportCapability
TotalValuedRelation
)
MilitaryDevices.kif 69-69
personTransportCapability
est une
instance
de
relation total
(
instance
premise
TotalValuedRelation
)
Merge.kif 16870-16870
premise
est une
instance
de
relation total
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