(instance increasesLikelihood IrreflexiveRelation)	Merge.kif 2595-2595	increasesLikelihood は 非反射関係 の instance では %n
(instance inverse IrreflexiveRelation)	Merge.kif 107-107	inverse は 非反射関係 の instance では %n
(instance larger IrreflexiveRelation)	Merge.kif 7786-7786	larger は 非反射関係 の instance では %n
(instance lessThan IrreflexiveRelation)	Merge.kif 1833-1833	lessThan は 非反射関係 の instance では %n
(instance manner IrreflexiveRelation)	Merge.kif 1728-1728	manner は 非反射関係 の instance では %n
(instance meetsSpatially IrreflexiveRelation)	Merge.kif 9607-9607	meetsSpatially は 非反射関係 の instance では %n
(instance modalAttribute IrreflexiveRelation)	Merge.kif 17370-17370	modalAttribute は 非反射関係 の instance では %n
(instance neighbor IrreflexiveRelation)	Mid-level-ontology.kif 6658-6658	neighbor は 非反射関係 の instance では %n
(instance operator IrreflexiveRelation)	Mid-level-ontology.kif 22817-22817	operator は 非反射関係 の instance では %n
(instance oppositeDirection IrreflexiveRelation)	Mid-level-ontology.kif 18152-18152	oppositeDirection は 非反射関係 の instance では %n
(instance overlapsPartially IrreflexiveRelation)	Merge.kif 9648-9648	overlapsPartially は 非反射関係 の instance では %n
(instance prevents IrreflexiveRelation)	Merge.kif 4366-4366	prevents は 非反射関係 の instance では %n
(instance preventsSubclass IrreflexiveRelation)	Merge.kif 4336-4336	preventsSubclass は 非反射関係 の instance では %n
(instance sibling IrreflexiveRelation)	Merge.kif 16535-16535	sibling は 非反射関係 の instance では %n
(instance sister IrreflexiveRelation)	Merge.kif 16580-16580	sister は 非反射関係 の instance では %n
(instance smaller IrreflexiveRelation)	Merge.kif 7808-7808	smaller は 非反射関係 の instance では %n
(instance spouse IrreflexiveRelation)	Merge.kif 16630-16630	spouse は 非反射関係 の instance では %n
(instance starts IrreflexiveRelation)	Merge.kif 8071-8071	starts は 非反射関係 の instance では %n
(instance subField IrreflexiveRelation)	Mid-level-ontology.kif 21368-21368	subField は 非反射関係 の instance では %n
(instance subPlan IrreflexiveRelation)	Merge.kif 4657-4657	subPlan は 非反射関係 の instance では %n
(instance subProposition IrreflexiveRelation)	Merge.kif 4636-4636	subProposition は 非反射関係 の instance では %n
(instance successorAttributeClosure IrreflexiveRelation)	Merge.kif 728-728	successorAttributeClosure は 非反射関係 の instance では %n
(instance superficialPart IrreflexiveRelation)	Merge.kif 9687-9687	superficialPart は 非反射関係 の instance では %n
(instance wife IrreflexiveRelation)	Merge.kif 16651-16651	wife は 非反射関係 の instance では %n
(subclass AsymmetricRelation IrreflexiveRelation)	Merge.kif 2274-2274	非対称関係 は 非反射関係 の subclass では %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