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