attribute
(=>
(
and
(
attribute
?C
Collectible
)
(
hasPurpose
?C ?P))
(
exists
(?H ?P2)
(
and
(
instance
?H
Human
)
(
wants
?H ?C)
(
desires
?H ?P2)
(
entails
?P2
(
possesses
?H ?C))
(
not
(
equal
?P ?P2)))))
Mid-level-ontology.kif 29495-29507
attribute
Oggetto
and
Collectible
Oggetto
ha
scopo
Formula
AgenteCognitivo
Formula
2
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
vuole
s
Oggetto
AgenteCognitivo
desidera
s
Formula
2
Formula
2
implica
s
AgenteCognitivo
possiede
es
Oggetto
Formula
is
uguale
a
Formula
2
(=>
(
and
(
attribute
?D
DeviceDamaged
)
(
hasPurpose
?D ?F))
(
not
(
modalAttribute
?F
Possibility
)))
Mid-level-ontology.kif 29446-29451
attribute
Oggetto
and
DeviceDamaged
Oggetto
ha
scopo
Formula
l'affermazione
Formula
ha il modello di forza di
Possibility
(=>
(
and
(
attribute
?D
DeviceNormal
)
(
hasPurpose
?D ?F))
(
modalAttribute
?F
Possibility
))
Mid-level-ontology.kif 29419-29423
attribute
Oggetto
and
DeviceNormal
Oggetto
ha
scopo
Formula
l'affermazione
Formula
ha il modello di forza di
Possibility
(=>
(
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
?DEVICE
Functioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
True
))
Mid-level-ontology.kif 1844-1848
attribute
Oggetto
and
Functioning
Oggetto
ha
scopo
Formula
truth
Formula
and
True
(=>
(
and
(
attribute
?DEVICE
Malfunctioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
False
))
Mid-level-ontology.kif 1854-1858
attribute
Oggetto
and
Malfunctioning
Oggetto
ha
scopo
Formula
truth
Formula
and
False
(=>
(
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
?H
Healthy
)
(
restingBreathingRate
?H ?R))
(
and
(
greaterThanOrEqualTo
?R 12)
(
greaterThanOrEqualTo
16 ?R)))
Medicine.kif 359-365
attribute
Mammifero
and
Healthy
restingBreathingRate
Mammifero
and
NumeroIntero
NumeroIntero
è
pi
ù grande di o uguale a 12 16 è
pi
ù grande di o uguale a
NumeroIntero
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U ?Y ?C)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 204-223
attribute
AutonomousAgent
and
Muslim
valore
delle appartenenze di
AutonomousAgent
is
uguale
a
MisuraMonetaria
l'affermazione
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Zakat
Entit�
è un'
istanza
di
Anno
Entit�
has luogo
durante
il
tempo
di esistenza di
AutonomousAgent
attribute
AutonomousAgent
and
FullyFormed
vales
durante
Entit�
Entit�
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Entit�
valore
di
Entit�
è
Entit�
Entit�
(s
Entit�
è un'
istanza
di
UnitOfCurrency
Entit�
è
pi
ù grande di
MisuraMonetaria
+ 0.025 ha il modello di forza di
Obligation
(=>
(
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
(=>
(
and
(
attribute
?I
Inhabited
)
(
instance
?I
Region
))
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
inhabits
?H ?I))))
Mid-level-ontology.kif 30108-30115
attribute
Oggetto
and
Inhabited
Oggetto
è un'
istanza
di
Regione
Organismo
Organismo
è un'
istanza
di
Umano
Organismo
abita
s in
Oggetto
(=>
(
and
(
attribute
?INDIVIDUAL ?CH)
(
instance
?CH
Christian
))
(
member
?INDIVIDUAL
Christianity
))
People.kif 795-799
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
Christian
Oggetto
è un
membro
di
Christianity
(=>
(
and
(
attribute
?LISTING ?ATTRIBUTE)
(
instance
?ATTRIBUTE
ListingAttribute
))
(
instance
?LISTING
WebListing
))
UXExperimentalTerms.kif 299-303
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
ListingAttribute
Oggetto
è un'
istanza
di
WebListing
(=>
(
and
(
attribute
?M
DemoRecording
)
(
instance
?M
Recording
))
(
hasPurpose
?M
(
exists
(?D ?G ?MUSIC)
(
and
(
instance
?D
Demonstrating
)
(
record
?M ?MUSIC)
(
patient
?D ?MUSIC)
(
destination
?D ?G)
(
instance
?G
GroupOfPeople
)))))
Music.kif 408-419
attribute
Oggetto
and
DemoRecording
Oggetto
è un'
istanza
di
Recording
Oggetto
ha
scopo
Entit�
Entit�
and
Oggetto
USIC
Entit�
è un'
istanza
di
Demonstrating
record
Oggetto
and
Oggetto
USIC
Oggetto
USIC è un
paziente
di
Entit�
Entit�
fine
s in
Entit�
Entit�
è un'
istanza
di
GroupOfPeople
(=>
(
and
(
attribute
?M
LiveRecording
)
(
instance
?M
Recording
))
(
exists
(?P)
(
and
(
instance
?P
Performance
)
(
record
?M ?P))))
Music.kif 378-385
attribute
OggettoSemiotico
and
LiveRecording
OggettoSemiotico
è un'
istanza
di
Recording
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Performance
record
OggettoSemiotico
and
Entit�Concreta
(=>
(
and
(
attribute
?M
MashupRecording
)
(
instance
?M
Recording
))
(
exists
(?M1 ?M2 ?S1 ?S2)
(
and
(
musicInterpretation
?M1 ?S1)
(
musicInterpretation
?M2 ?S2)
(
not
(
equal
?S1 ?S2))
(
part
?M1 ?M)
(
part
?M2 ?M))))
Music.kif 426-436
attribute
Oggetto
and
MashupRecording
Oggetto
è un'
istanza
di
Recording
Oggetto
1
Oggetto
2,
Musica
and
Musica
musicInterpretation
Oggetto
1 and
Musica
musicInterpretation
Oggetto
2 and
Musica
Musica
is
uguale
a
Musica
Oggetto
1 è una
parte
di
Oggetto
Oggetto
2 è una
parte
di
Oggetto
(=>
(
and
(
attribute
?M
RemixRecording
)
(
instance
?M
MusicRecording
))
(
exists
(?O ?A)
(
equal
?M
(
RemixFn
?O ?A))))
Music.kif 444-449
attribute
MusicRecording
and
RemixRecording
MusicRecording
è un'
istanza
di
MusicRecording
MusicRecording
AgenteCognitivo
MusicRecording
is
uguale
a
RemixFn
MusicRecording
and
AgenteCognitivo
(=>
(
and
(
attribute
?M
StudioRecording
)
(
instance
?M
Recording
))
(
exists
(?P ?S)
(
and
(
record
?M ?P)
(
eventLocated
?P ?S)
(
instance
?S
RecordingStudio
))))
Music.kif 392-400
attribute
OggettoSemiotico
and
StudioRecording
OggettoSemiotico
è un'
istanza
di
Recording
Processo
Oggetto
record
OggettoSemiotico
and
Processo
eventLocated
Processo
and
Oggetto
Oggetto
è un'
istanza
di
RecordingStudio
(=>
(
and
(
attribute
?MILITARY
PeaceState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
SecretaryOfDefense
))
MilitaryPersons.kif 461-466
attribute
Organizzazione
and
PeaceState
Organizzazione
è un'
istanza
di
MilitaryOrganization
leaderPosition
Organizzazione
and
Posizione
subordinatePosition
Organizzazione
,
Posizione
and
SecretaryOfDefense
(=>
(
and
(
attribute
?MILITARY
WarState
)
(
instance
?MILITARY
MilitaryOrganization
)
(
leaderPosition
?MILITARY ?LEADER))
(
subordinatePosition
?MILITARY ?LEADER
President
))
MilitaryPersons.kif 473-478
attribute
Organizzazione
and
WarState
Organizzazione
è un'
istanza
di
MilitaryOrganization
leaderPosition
Organizzazione
and
Posizione
subordinatePosition
Organizzazione
,
Posizione
and
President
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