instance
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?E
Extension
)
(
instrument
?E ?AC)
(
moves
?E ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Animal
))
(
capability
Flexion
instrument
?BC))
Mid-level-ontology.kif 10684-10695
antagonistMuscles
Muscolo
and
Muscolo
Movimento
è un'
istanza
di
Extension
Muscolo
C è uno
strumento
per
Movimento
moves
Movimento
and
Muscolo
C
Muscolo
C è un'
istanza
di
Muscolo
Muscolo
C è un'
istanza
di
Muscolo
Muscolo
C è una
parte
di
Oggetto
Muscolo
C è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Animale
Muscolo
C è
capace
di fare
Flexion
nel ruolo
instrument
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?F
Flexion
)
(
instrument
?F ?AC)
(
moves
?F ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Animal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 10671-10682
antagonistMuscles
Muscolo
and
Muscolo
Movimento
è un'
istanza
di
Flexion
Muscolo
C è uno
strumento
per
Movimento
moves
Movimento
and
Muscolo
C
Muscolo
C è un'
istanza
di
Muscolo
Muscolo
C è un'
istanza
di
Muscolo
Muscolo
C è una
parte
di
Oggetto
Muscolo
C è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Animale
Muscolo
C è
capace
di fare
Extension
nel ruolo
instrument
(=>
(
and
(
applicableRelation
?O ?R)
(
instance
?O ?OC)
(
domain
?R 1 ?DC))
(
or
(
equal
?OC ?DC)
(
subclass
?OC ?DC)))
Mid-level-ontology.kif 31383-31390
applicableRelation
Oggetto
and
Relazione
Oggetto
è un'
istanza
di
Oggetto
C il numero 1 argomenti di
Relazione
è un
istanza
di
Classe
Oggetto
C is
uguale
a
Classe
Oggetto
C è una
sottoclasse
di
Classe
(=>
(
and
(
approximateDiameter
?O
(
MeasureFn
?L ?LM))
(
sphereRadius
?S
(
MeasureFn
(
DivisionFn
?L 2.0) ?LM))
(
measure
?S
(
MeasureFn
?V1 ?VM))
(
measure
?O
(
MeasureFn
?V2 ?VM))
(
instance
?LM
UnitOfLength
)
(
instance
?VM
UnitOfVolume
))
(
equal
?V1 ?V2))
Mid-level-ontology.kif 17947-17958
approximateDiameter
OggettoIntegro
and
NumeroReale
NumeroReale
M(s
sphereRadius
Oggetto
and
NumeroReale
+ 2.0
NumeroReale
M(s la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s la
misura
OggettoIntegro
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
M è un'
istanza
di
UnitOfLength
Unit�DiMisura
è un'
istanza
di
UnitOfVolume
NumeroReale
is
uguale
a
NumeroReale
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2080-2090
arableLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è un'
istanza
di
MisuraDiArea
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
arableLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2092-2106
arableLandArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a 0.0
totalArea
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfArea
AreaGeografica
AreaGeografica
è un'
istanza
di
ArableLand
geographicSubregion
AreaGeografica
and
AreaGeografica
la
misura
AreaGeografica
è
NumeroReale
+
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
attribute
(
GovernmentFn
?AREA) ?TYPE)
(
instance
?TYPE
FormOfGovernment
))
(
governmentType
?AREA ?TYPE))
Government.kif 148-152
attribute
GovernmentFn
AreaGeopolitica
and
FormOfGovernment
FormOfGovernment
è un'
istanza
di
FormOfGovernment
governmentType
AreaGeopolitica
and
FormOfGovernment
(=>
(
and
(
attribute
?A ?ATTR)
(
instance
?ATTR
AlbumAttribute
))
(
instance
?A
Album
))
Music.kif 478-482
attribute
Oggetto
and
Oggetto
TTR
Oggetto
TTR è un'
istanza
di
AlbumAttribute
Oggetto
è un'
istanza
di
Album
(=>
(
and
(
attribute
?A
AppraisalAsJustTreatment
)
(
instance
?AJT
AppraisalProcess
)
(
agent
?AJT ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AJT ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
wants
?A ?P))))
emotion.kif 374-387
attribute
AgenteCognitivo
and
AppraisalAsJustTreatment
AgenteCognitivo
JT è un'
istanza
di
AppraisalProcess
AgenteCognitivo
JT è un
agente
di
AgenteCognitivo
Processo
AgenteCognitivo
2
Processo
è un'
istanza
di
Processo
AgenteCognitivo
JT include un
riferimento
a
Processo
Processo
è un
agente
di
AgenteCognitivo
2
AgenteCognitivo
is
uguale
a
AgenteCognitivo
2
AgenteCognitivo
è un
paziente
di
Processo
AgenteCognitivo
vuole
s
Processo
(=>
(
and
(
attribute
?A
AppraisalAsUnjustTreatment
)
(
instance
?AUJ
AppraisalProcess
)
(
agent
?AUJ ?A))
(
exists
(?P ?A2)
(
and
(
instance
?P
Process
)
(
refers
?AUJ ?P)
(
agent
?P ?A2)
(
not
(
equal
?A ?A2))
(
patient
?P ?A)
(
not
(
wants
?A ?P)))))
emotion.kif 349-363
attribute
AgenteCognitivo
and
AppraisalAsUnjustTreatment
AgenteCognitivo
UJ è un'
istanza
di
AppraisalProcess
AgenteCognitivo
UJ è un
agente
di
AgenteCognitivo
Processo
AgenteCognitivo
2
Processo
è un'
istanza
di
Processo
AgenteCognitivo
UJ include un
riferimento
a
Processo
Processo
è un
agente
di
AgenteCognitivo
2
AgenteCognitivo
is
uguale
a
AgenteCognitivo
2
AgenteCognitivo
è un
paziente
di
Processo
AgenteCognitivo
non
vuole
Processo
(=>
(
and
(
attribute
?A
Founder
)
(
instance
?A
Human
))
(
exists
(?PROC)
(
and
(
instance
?PROC
Founding
)
(
agent
?PROC ?A))))
Biography.kif 223-230
attribute
AutonomousAgent
and
Founder
AutonomousAgent
è un'
istanza
di
Umano
Processo
Processo
è un'
istanza
di
Founding
Processo
è un
agente
di
AutonomousAgent
(=>
(
and
(
attribute
?ACCT ?ATTR)
(
instance
?ATTR
AccountAttribute
))
(
instance
?ACCT
UserAccount
))
UXExperimentalTerms.kif 648-652
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
AccountAttribute
Oggetto
è un'
istanza
di
UserAccount
(=>
(
and
(
attribute
?ACTOR
VoiceActor
)
(
instance
?DRAMA
DramaticActing
)
(
agent
?DRAMA ?ACTOR)
(
instance
?SPEAK
LinguisticCommunication
)
(
agent
?SPEAK ?ACTOR)
(
subProcess
?SPEAK ?DRAMA))
(
and
(
not
(
exists
(?S ?VIEWER)
(
and
(
instance
?S
Seeing
)
(
patient
?S ?ACTOR)
(
agent
?S ?VIEWER))))
(
exists
(?H ?VIEWER)
(
and
(
instance
?H
Hearing
)
(
patient
?H ?ACTOR)
(
agent
?H ?VIEWER)))))
Biography.kif 757-776
attribute
AutonomousAgent
and
VoiceActor
Processo
è un'
istanza
di
DramaticActing
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
LinguisticCommunication
Processo
è un
agente
di
AutonomousAgent
Processo
è un
sottoprocesso
di
Processo
Processo
AutonomousAgent
Processo
è un'
istanza
di
Vista
AutonomousAgent
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
AutonomousAgent
Processo
è un'
istanza
di
Udito
AutonomousAgent
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
(=>
(
and
(
attribute
?AGENT
(
MemberFn
?ORG))
(
instance
?AGENT
AutonomousAgent
)
(
instance
?ORG
Organization
))
(
member
?AGENT ?ORG))
Government.kif 1774-1779
attribute
Oggetto
and
MemberFn
Organizzazione
Oggetto
è un'
istanza
di
AutonomousAgent
Organizzazione
è un'
istanza
di
Organizzazione
Oggetto
è un
membro
di
Organizzazione
(=>
(
and
(
attribute
?AREA
CommunistState
)
(
instance
?AREA
Nation
))
(
economyType
?AREA
CentrallyPlannedEconomy
))
Economy.kif 865-869
attribute
AutonomousAgent
and
CommunistState
AutonomousAgent
è un'
istanza
di
Nazione
economyType
AutonomousAgent
and
CentrallyPlannedEconomy
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
exists
(?GAME)
(
and
(
instance
?GAME
Sport
)
(
contestParticipant
?GAME ?ATHLETE))))
Sports.kif 1364-1371
attribute
AutonomousAgent
and
Attributo
Attributo
è un'
istanza
di
ProfessionalAthlete
Competizione
Competizione
è un'
istanza
di
Sport
contestParticipant
Competizione
and
AutonomousAgent
(=>
(
and
(
attribute
?ATHLETE ?PA)
(
instance
?PA
ProfessionalAthlete
))
(
hasSkill
Sport
?ATHLETE))
Sports.kif 1358-1362
attribute
AutonomousAgent
and
Attributo
Attributo
è un'
istanza
di
ProfessionalAthlete
AutonomousAgent
ha &n
la
capacità di fare
Sport
(=>
(
and
(
attribute
?DEVICE ?ATTRIBUTE)
(
instance
?ATTRIBUTE
DeviceAttribute
))
(
instance
?DEVICE
Device
))
Mid-level-ontology.kif 1833-1837
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
DeviceAttribute
Oggetto
è un'
istanza
di
Dispositivo
(=>
(
and
(
attribute
?EXP ?ATTR)
(
instance
?ATTR
ExperimentAttribute
))
(
instance
?EXP
Experimenting
))
UXExperimentalTerms.kif 4407-4411
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
ExperimentAttribute
Oggetto
è un'
istanza
di
Experimenting
(=>
(
and
(
attribute
?F
DecafAttribute
)
(
instance
?F
Food
))
(
not
(
exists
(?C)
(
and
(
instance
?C
Caffeine
)
(
piece
?C ?F)))))
Food.kif 437-445
attribute
Sostanza
and
DecafAttribute
Sostanza
è un'
istanza
di
Cibo
Sostanza
Sostanza
è un'
istanza
di
Caffeine
Sostanza
è un
membro
di
Sostanza
(=>
(
and
(
attribute
?FOOD1
FamilyStylePortion
)
(
measure
?FOOD1
(
MeasureFn
?MEAS1 ?U))
(
not
(
attribute
?FOOD2
FamilyStylePortion
))
(
measure
?FOOD2
(
MeasureFn
?MEAS2 ?U))
(
instance
?FOOD1 ?CLASS)
(
instance
?FOOD2 ?CLASS)
(
instance
?U
UnitOfMeasure
))
(
greaterThan
?MEAS1 ?MEAS2))
Dining.kif 1165-1176
attribute
Oggetto
and
FamilyStylePortion
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
attribute
Oggetto
and
FamilyStylePortion
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Oggetto
è un'
istanza
di
Classe
Oggetto
è un'
istanza
di
Classe
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
attribute
?H ?D)
(
diseaseTreatment
?D ?P)
(
instance
?TP
TherpeuticProcess
)
(
agent
?TP ?DOC)
(
patient
?TP ?H)
(
attribute
?DOC
MedicalDoctor
))
(
modalAttribute
(
instance
?TP ?P)
Possibility
))
Medicine.kif 5824-5834
attribute
Oggetto
and
MalattiaOSindrome
diseaseTreatment
MalattiaOSindrome
and
ProcessoTerapeutico
Processo
è un'
istanza
di
TherpeuticProcess
Processo
è un
agente
di
MalattiaOSindrome
OC
Oggetto
è un
paziente
di
Processo
attribute
MalattiaOSindrome
OC and
MedicalDoctor
l'affermazione
Processo
è un'
istanza
di
ProcessoTerapeutico
ha il modello di forza di
Possibility
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Female
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 12))
Medicine.kif 172-187
attribute
Oggetto
and
Anemia
Oggetto
è un'
istanza
di
Sangue
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Female
la
misura
Oggetto
è 0.1
Liter
(s
Oggetto
E è un'
istanza
di
Hemoglobin
Oggetto
E è una
parte
di
Oggetto
Oggetto
E2 è un'
istanza
di
Hemoglobin
Oggetto
E is
uguale
a
Oggetto
E2
Oggetto
2 è una
parte
di
Oggetto
la
misura
Oggetto
E è
NumeroReale
Gram
(s
NumeroReale
è
meno
di12
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Male
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 13))
Medicine.kif 155-170
attribute
Oggetto
and
Anemia
Oggetto
è un'
istanza
di
Sangue
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Male
la
misura
Oggetto
è 0.1
Liter
(s
Oggetto
E è un'
istanza
di
Hemoglobin
Oggetto
E è una
parte
di
Oggetto
Oggetto
E2 è un'
istanza
di
Hemoglobin
Oggetto
E is
uguale
a
Oggetto
E2
Oggetto
2 è una
parte
di
Oggetto
la
misura
Oggetto
E è
NumeroReale
Gram
(s
NumeroReale
è
meno
di13
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3984-4004
attribute
AutonomousAgent
and
ADHD
attribute
AutonomousAgent
and
ADHD
AutonomousAgent
is
uguale
a
AutonomousAgent
Processo
è un'
istanza
di
Classe
Processo
è un'
istanza
di
Classe
Classe
è una
sottoclasse
di
ProcessoPsicologicoIntenzionale
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
durata
di il
tempo
di esistenza di
Processo
è
Durata
durata
di il
tempo
di esistenza di
Processo
è
Durata
l'affermazione
Durata
è
pi
ù grande di
Durata
ha il modello di forza di
Likely
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