Human
(Humano)
(=>
(
and
(
subclass
?T1C
Tissue
)
(
subclass
?T2C
Tissue
)
(
instance
?T1 ?T1C)
(
instance
?T2 ?T2C)
(
instance
?H
Human
)
(
part
?T1 ?H)
(
part
?T2 ?H)
(
not
(
equal
?T1C ?T2C))
(
not
(
subclass
?T1C ?T2C))
(
not
(
subclass
?T2C ?T1C))
(
orientation
?T1 ?T2
Adjacent
))
(
modalAttribute
(
exists
(?CT)
(
and
(
instance
?CT
ConnectiveTissue
)
(
between
?T1 ?CT ?T2)))
Likely
))
Merge.kif 15188-15209
Classe
e' uma
sub
-classe de
Tecido
Classe
e' uma
sub
-classe de
Tecido
Objeto
e' uma
instancia
de
Classe
Objeto
e' uma
instancia
de
Classe
Objeto
e' uma
instancia
de
Humano
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Classe
e'
igual
a
Classe
Classe
e' uma
sub
-classe de
Classe
Classe
e' uma
sub
-classe de
Classe
Objeto
e'
Adjacent
em relacao a
Objeto
o argumento
Entidade
Entidade
e' uma
instancia
de
ConnectiveTissue
Entidade
esta'
entre
Objeto
e
Objeto
tem a
forca
modal
de
Likely
(=>
(
and
(
subjectiveAttribute
?X
Won
?JUDGE)
(
instance
?X
(
FoodForFn
Human
)))
(
exists
(?CONTEST ?AGENT ?PROC)
(
and
(
contestObject
?CONTEST ?X ?AGENT)
(
instance
?PROC
Judging
)
(
agent
?PROC ?JUDGE)
(
subProcess
?PROC ?CONTEST))))
Dining.kif 900-909
subjectiveAttribute
Objeto
,
Won
and
AutonomousAgent
Objeto
e' uma
instancia
de
FoodForFn
Humano
Contest
AutonomousAgent
and
Processo
contestObject
Contest
,
Objeto
and
AutonomousAgent
Processo
e' uma
instancia
de
Judging
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
sub
-processo de
Contest
(=>
(
instance
?PERSON
Human
)
(
disapproves
?PERSON
(
attribute
?PERSON
DislocatedCivilian
)))
MilitaryPersons.kif 49-52
Agente Cognitivo
e' uma
instancia
de
Humano
disapproves
Agente Cognitivo
and
DislocatedCivilian
e' um
atributo
de
Agente Cognitivo
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