(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 7772-7772	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 9593-9593	meetsSpatially は 非反射関係 の instance では %n
(instance modalAttribute IrreflexiveRelation)	Merge.kif 17321-17321	modalAttribute は 非反射関係 の instance では %n
(instance neighbor IrreflexiveRelation)	Mid-level-ontology.kif 6663-6663	neighbor は 非反射関係 の instance では %n
(instance operator IrreflexiveRelation)	Mid-level-ontology.kif 22764-22764	operator は 非反射関係 の instance では %n
(instance oppositeDirection IrreflexiveRelation)	Mid-level-ontology.kif 18124-18124	oppositeDirection は 非反射関係 の instance では %n
(instance overlapsPartially IrreflexiveRelation)	Merge.kif 9634-9634	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 16486-16486	sibling は 非反射関係 の instance では %n
(instance sister IrreflexiveRelation)	Merge.kif 16531-16531	sister は 非反射関係 の instance では %n
(instance smaller IrreflexiveRelation)	Merge.kif 7794-7794	smaller は 非反射関係 の instance では %n
(instance spouse IrreflexiveRelation)	Merge.kif 16581-16581	spouse は 非反射関係 の instance では %n
(instance starts IrreflexiveRelation)	Merge.kif 8057-8057	starts は 非反射関係 の instance では %n
(instance subField IrreflexiveRelation)	Mid-level-ontology.kif 21340-21340	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 9673-9673	superficialPart は 非反射関係 の instance では %n
(instance wife IrreflexiveRelation)	Merge.kif 16602-16602	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