(instance increasesLikelihood IrreflexiveRelation)	Merge.kif 2595-2595	提高可能性 是 非自反关系 的 instance
(instance inverse IrreflexiveRelation)	Merge.kif 107-107	逆向 是 非自反关系 的 instance
(instance larger IrreflexiveRelation)	Merge.kif 7750-7750	更大 是 非自反关系 的 instance
(instance lessThan IrreflexiveRelation)	Merge.kif 1833-1833	少于 是 非自反关系 的 instance
(instance manner IrreflexiveRelation)	Merge.kif 1728-1728	形式 是 非自反关系 的 instance
(instance meetsSpatially IrreflexiveRelation)	Merge.kif 9571-9571	接触 是 非自反关系 的 instance
(instance modalAttribute IrreflexiveRelation)	Merge.kif 17299-17299	语气属性 是 非自反关系 的 instance
(instance neighbor IrreflexiveRelation)	Mid-level-ontology.kif 6664-6664	邻居 是 非自反关系 的 instance
(instance operator IrreflexiveRelation)	Mid-level-ontology.kif 22765-22765	操作者 是 非自反关系 的 instance
(instance oppositeDirection IrreflexiveRelation)	Mid-level-ontology.kif 18125-18125	相反的方向 是 非自反关系 的 instance
(instance overlapsPartially IrreflexiveRelation)	Merge.kif 9612-9612	部分重叠 是 非自反关系 的 instance
(instance prevents IrreflexiveRelation)	Merge.kif 4365-4365	阻止 是 非自反关系 的 instance
(instance preventsSubclass IrreflexiveRelation)	Merge.kif 4335-4335	preventsSubclass 是 非自反关系 的 instance
(instance sibling IrreflexiveRelation)	Merge.kif 16464-16464	兄弟姐妹 是 非自反关系 的 instance
(instance sister IrreflexiveRelation)	Merge.kif 16509-16509	妹妹 是 非自反关系 的 instance
(instance smaller IrreflexiveRelation)	Merge.kif 7772-7772	更小 是 非自反关系 的 instance
(instance spouse IrreflexiveRelation)	Merge.kif 16559-16559	伴侣 是 非自反关系 的 instance
(instance starts IrreflexiveRelation)	Merge.kif 8035-8035	开始 是 非自反关系 的 instance
(instance subField IrreflexiveRelation)	Mid-level-ontology.kif 21341-21341	子领域 是 非自反关系 的 instance
(instance subPlan IrreflexiveRelation)	Merge.kif 4656-4656	子计划 是 非自反关系 的 instance
(instance subProposition IrreflexiveRelation)	Merge.kif 4635-4635	子命题 是 非自反关系 的 instance
(instance successorAttributeClosure IrreflexiveRelation)	Merge.kif 728-728	后续属性闭包 是 非自反关系 的 instance
(instance superficialPart IrreflexiveRelation)	Merge.kif 9651-9651	表面部分 是 非自反关系 的 instance
(instance wife IrreflexiveRelation)	Merge.kif 16580-16580	妻子 是 非自反关系 的 instance
(subclass AsymmetricRelation IrreflexiveRelation)	Merge.kif 2274-2274	非对称关系 是 非自反关系 的 subclass
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