(instance increasesLikelihood IrreflexiveRelation)	Merge.kif 2595-2595	increasesLikelihood e' uma instancia de Relacao Irreflexiva
(instance inverse IrreflexiveRelation)	Merge.kif 107-107	inverse e' uma instancia de Relacao Irreflexiva
(instance larger IrreflexiveRelation)	Merge.kif 7750-7750	larger e' uma instancia de Relacao Irreflexiva
(instance lessThan IrreflexiveRelation)	Merge.kif 1833-1833	lessThan e' uma instancia de Relacao Irreflexiva
(instance manner IrreflexiveRelation)	Merge.kif 1728-1728	manner e' uma instancia de Relacao Irreflexiva
(instance meetsSpatially IrreflexiveRelation)	Merge.kif 9571-9571	meetsSpatially e' uma instancia de Relacao Irreflexiva
(instance modalAttribute IrreflexiveRelation)	Merge.kif 17299-17299	modalAttribute e' uma instancia de Relacao Irreflexiva
(instance neighbor IrreflexiveRelation)	Mid-level-ontology.kif 6664-6664	neighbor e' uma instancia de Relacao Irreflexiva
(instance operator IrreflexiveRelation)	Mid-level-ontology.kif 22765-22765	operator e' uma instancia de Relacao Irreflexiva
(instance oppositeDirection IrreflexiveRelation)	Mid-level-ontology.kif 18125-18125	oppositeDirection e' uma instancia de Relacao Irreflexiva
(instance overlapsPartially IrreflexiveRelation)	Merge.kif 9612-9612	overlapsPartially e' uma instancia de Relacao Irreflexiva
(instance prevents IrreflexiveRelation)	Merge.kif 4365-4365	prevents e' uma instancia de Relacao Irreflexiva
(instance preventsSubclass IrreflexiveRelation)	Merge.kif 4335-4335	preventsSubclass e' uma instancia de Relacao Irreflexiva
(instance sibling IrreflexiveRelation)	Merge.kif 16464-16464	sibling e' uma instancia de Relacao Irreflexiva
(instance sister IrreflexiveRelation)	Merge.kif 16509-16509	sister e' uma instancia de Relacao Irreflexiva
(instance smaller IrreflexiveRelation)	Merge.kif 7772-7772	smaller e' uma instancia de Relacao Irreflexiva
(instance spouse IrreflexiveRelation)	Merge.kif 16559-16559	spouse e' uma instancia de Relacao Irreflexiva
(instance starts IrreflexiveRelation)	Merge.kif 8035-8035	starts e' uma instancia de Relacao Irreflexiva
(instance subField IrreflexiveRelation)	Mid-level-ontology.kif 21341-21341	subField e' uma instancia de Relacao Irreflexiva
(instance subPlan IrreflexiveRelation)	Merge.kif 4656-4656	subPlan e' uma instancia de Relacao Irreflexiva
(instance subProposition IrreflexiveRelation)	Merge.kif 4635-4635	subProposition e' uma instancia de Relacao Irreflexiva
(instance successorAttributeClosure IrreflexiveRelation)	Merge.kif 728-728	successorAttributeClosure e' uma instancia de Relacao Irreflexiva
(instance superficialPart IrreflexiveRelation)	Merge.kif 9651-9651	superficialPart e' uma instancia de Relacao Irreflexiva
(instance wife IrreflexiveRelation)	Merge.kif 16580-16580	wife e' uma instancia de Relacao Irreflexiva
(subclass AsymmetricRelation IrreflexiveRelation)	Merge.kif 2274-2274	Relacao Assimetrica e' uma sub-classe de Relacao Irreflexiva
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