TotalValuedRelation
(total valued relation)
(
instance
conclusion
TotalValuedRelation
)
Merge.kif 16894-16894
conclusion
is an
instance
of
total valued relation
(
instance
contestParticipant
TotalValuedRelation
)
Mid-level-ontology.kif 19679-19679
contest participant
is an
instance
of
total valued relation
(
instance
diameter
TotalValuedRelation
)
Merge.kif 7662-7662
diameter
is an
instance
of
total valued relation
(
instance
distance
TotalValuedRelation
)
Merge.kif 7679-7679
distance
is an
instance
of
total valued relation
(
instance
duration
TotalValuedRelation
)
Merge.kif 7901-7901
duration
is an
instance
of
total valued relation
(
instance
earlier
TotalValuedRelation
)
Merge.kif 8370-8370
earlier
is an
instance
of
total valued relation
(
instance
electronNumber
TotalValuedRelation
)
Mid-level-ontology.kif 21707-21707
electron number
is an
instance
of
total valued relation
(
instance
eventLocated
TotalValuedRelation
)
Merge.kif 4121-4121
event located
is an
instance
of
total valued relation
(
instance
finishes
TotalValuedRelation
)
Merge.kif 8068-8068
finishes
is an
instance
of
total valued relation
(
instance
geometricDistance
TotalValuedRelation
)
Merge.kif 17973-17973
geometric distance
is an
instance
of
total valued relation
(
instance
graphPart
TotalValuedRelation
)
Merge.kif 5886-5886
graph part
is an
instance
of
total valued relation
(
instance
greaterThan
TotalValuedRelation
)
Merge.kif 1843-1843
greater than
is an
instance
of
total valued relation
(
instance
larger
TotalValuedRelation
)
Merge.kif 7751-7751
larger
is an
instance
of
total valued relation
(
instance
lineMeasure
TotalValuedRelation
)
Merge.kif 17965-17965
line measure
is an
instance
of
total valued relation
(
instance
located
TotalValuedRelation
)
Merge.kif 4072-4072
located
is an
instance
of
total valued relation
(
instance
manner
TotalValuedRelation
)
Merge.kif 1729-1729
manner
is an
instance
of
total valued relation
(
instance
maximumPayloadCapacity
TotalValuedRelation
)
MilitaryDevices.kif 79-79
maximum payload capacity
is an
instance
of
total valued relation
(
instance
maximumPayloadHeightWidth
TotalValuedRelation
)
MilitaryDevices.kif 107-107
maximum payload height width
is an
instance
of
total valued relation
(
instance
meetsTemporally
TotalValuedRelation
)
Merge.kif 8325-8325
meets temporally
is an
instance
of
total valued relation
(
instance
moves
TotalValuedRelation
)
Merge.kif 10978-10978
moves
is an
instance
of
total valued relation
(
instance
parent
TotalValuedRelation
)
Merge.kif 16364-16364
parent
is an
instance
of
total valued relation
(
instance
partlyLocated
TotalValuedRelation
)
Merge.kif 4044-4044
partly located
is an
instance
of
total valued relation
(
instance
path
TotalValuedRelation
)
Merge.kif 11071-11071
path
is an
instance
of
total valued relation
(
instance
personTransportCapability
TotalValuedRelation
)
MilitaryDevices.kif 69-69
person transport capability
is an
instance
of
total valued relation
(
instance
premise
TotalValuedRelation
)
Merge.kif 16870-16870
premise
is an
instance
of
total valued relation
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