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