IrreflexiveRelation(Relacao Irreflexiva)

-------------------------


(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 7772-7772 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 9593-9593 meetsSpatially e' uma instancia de Relacao Irreflexiva
(instance modalAttribute IrreflexiveRelation) Merge.kif 17321-17321 modalAttribute e' uma instancia de Relacao Irreflexiva
(instance neighbor IrreflexiveRelation) Mid-level-ontology.kif 6663-6663 neighbor e' uma instancia de Relacao Irreflexiva
(instance operator IrreflexiveRelation) Mid-level-ontology.kif 22764-22764 operator e' uma instancia de Relacao Irreflexiva
(instance oppositeDirection IrreflexiveRelation) Mid-level-ontology.kif 18124-18124 oppositeDirection e' uma instancia de Relacao Irreflexiva
(instance overlapsPartially IrreflexiveRelation) Merge.kif 9634-9634 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 16486-16486 sibling e' uma instancia de Relacao Irreflexiva
(instance sister IrreflexiveRelation) Merge.kif 16531-16531 sister e' uma instancia de Relacao Irreflexiva
(instance smaller IrreflexiveRelation) Merge.kif 7794-7794 smaller e' uma instancia de Relacao Irreflexiva
(instance spouse IrreflexiveRelation) Merge.kif 16581-16581 spouse e' uma instancia de Relacao Irreflexiva
(instance starts IrreflexiveRelation) Merge.kif 8057-8057 starts e' uma instancia de Relacao Irreflexiva
(instance subField IrreflexiveRelation) Mid-level-ontology.kif 21340-21340 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 9673-9673 superficialPart e' uma instancia de Relacao Irreflexiva
(instance wife IrreflexiveRelation) Merge.kif 16602-16602 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