Human
(Umano)
(=>
(
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
è una
sottoclasse
di
Tessuto
Classe
è una
sottoclasse
di
Tessuto
Oggetto
è un'
istanza
di
Classe
Oggetto
è un'
istanza
di
Classe
Oggetto
è un'
istanza
di
Umano
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Classe
is
uguale
a
Classe
Classe
è una
sottoclasse
di
Classe
Classe
è una
sottoclasse
di
Classe
Oggetto
è
Adjacent
a
Oggetto
l'affermazione
Entit�
Entit�
è un'
istanza
di
ConnectiveTissue
Entit�
è
tra
Oggetto
e
Oggetto
ha il modello di forza di
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
Oggetto
,
Won
and
AutonomousAgent
Oggetto
è un'
istanza
di
FoodForFn
Umano
Competizione
AutonomousAgent
and
Processo
contestObject
Competizione
,
Oggetto
and
AutonomousAgent
Processo
è un'
istanza
di
Judging
Processo
è un
agente
di
AutonomousAgent
Processo
è un
sottoprocesso
di
Competizione
(=>
(
instance
?PERSON
Human
)
(
disapproves
?PERSON
(
attribute
?PERSON
DislocatedCivilian
)))
MilitaryPersons.kif 49-52
AgenteCognitivo
è un'
istanza
di
Umano
disapproves
AgenteCognitivo
and
attribute
AgenteCognitivo
and
DislocatedCivilian
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