(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 7750-7750	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 9571-9571	meetsSpatially は 非反射関係 の instance では %n
(instance modalAttribute IrreflexiveRelation)	Merge.kif 17299-17299	modalAttribute は 非反射関係 の instance では %n
(instance neighbor IrreflexiveRelation)	Mid-level-ontology.kif 6664-6664	neighbor は 非反射関係 の instance では %n
(instance operator IrreflexiveRelation)	Mid-level-ontology.kif 22765-22765	operator は 非反射関係 の instance では %n
(instance oppositeDirection IrreflexiveRelation)	Mid-level-ontology.kif 18125-18125	oppositeDirection は 非反射関係 の instance では %n
(instance overlapsPartially IrreflexiveRelation)	Merge.kif 9612-9612	overlapsPartially は 非反射関係 の instance では %n
(instance prevents IrreflexiveRelation)	Merge.kif 4365-4365	prevents は 非反射関係 の instance では %n
(instance preventsSubclass IrreflexiveRelation)	Merge.kif 4335-4335	preventsSubclass は 非反射関係 の instance では %n
(instance sibling IrreflexiveRelation)	Merge.kif 16464-16464	sibling は 非反射関係 の instance では %n
(instance sister IrreflexiveRelation)	Merge.kif 16509-16509	sister は 非反射関係 の instance では %n
(instance smaller IrreflexiveRelation)	Merge.kif 7772-7772	smaller は 非反射関係 の instance では %n
(instance spouse IrreflexiveRelation)	Merge.kif 16559-16559	spouse は 非反射関係 の instance では %n
(instance starts IrreflexiveRelation)	Merge.kif 8035-8035	starts は 非反射関係 の instance では %n
(instance subField IrreflexiveRelation)	Mid-level-ontology.kif 21341-21341	subField は 非反射関係 の instance では %n
(instance subPlan IrreflexiveRelation)	Merge.kif 4656-4656	subPlan は 非反射関係 の instance では %n
(instance subProposition IrreflexiveRelation)	Merge.kif 4635-4635	subProposition は 非反射関係 の instance では %n
(instance successorAttributeClosure IrreflexiveRelation)	Merge.kif 728-728	successorAttributeClosure は 非反射関係 の instance では %n
(instance superficialPart IrreflexiveRelation)	Merge.kif 9651-9651	superficialPart は 非反射関係 の instance では %n
(instance wife IrreflexiveRelation)	Merge.kif 16580-16580	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