not
(=>
(
and
(
instance
?UW
UnconventionalWarfare
)
(
agent
?UW ?AGENT)
(
not
(
equal
?AGENT ?POPULACE))
(
not
(
equal
?AGENT
(
GovernmentFn
?NATION)))
(
patient
?UW ?POPULACE)
(
or
(
member
?POPULACE
(
ResidentFn
?NATION))
(
subCollection
?POPULACE
(
ResidentFn
?NATION))))
(
exists
(?CONTEST)
(
and
(
instance
?CONTEST
Contest
)
(
agent
?CONTEST ?POPULACE)
(
agent
?CONTEST
(
GovernmentFn
?NATION)))))
MilitaryProcesses.kif 163-183
Processo
è un'
istanza
di
UnconventionalWarfare
Processo
è un
agente
di
Governo
Governo
is
uguale
a
AutonomousAgent
Governo
is
uguale
a
GovernmentFn
AreaGeopolitica
AutonomousAgent
è un
paziente
di
Processo
AutonomousAgent
è un
membro
di
ResidentFn
AreaGeopolitica
AutonomousAgent
è
sottoinsieme
un proprio
ResidentFn
AreaGeopolitica
Processo
Processo
è un'
istanza
di
Competizione
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
GovernmentFn
AreaGeopolitica
(=>
(
and
(
instance
?V
Vending
)
(
objectTransferred
?V ?O)
(
not
(
instance
?O
Currency
)))
(
modalAttribute
(
or
(
instance
?O
(
FoodForFn
Human
))
(
instance
?O
Beverage
))
Likely
))
Mid-level-ontology.kif 1986-1995
Trasferimento
è un'
istanza
di
Vending
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Currency
l'affermazione
Oggetto
è un'
istanza
di
FoodForFn
Umano
Oggetto
è un'
istanza
di
Bevanda
ha il modello di forza di
Likely
(=>
(
and
(
instance
?V
VocalCords
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?V ?D)))
(
exists
(?F1 ?F2)
(
and
(
instance
?F1
VocalFold
)
(
instance
?F2
VocalFold
)
(
not
(
equal
?F1 ?F2))
(
part
?F1 ?V)
(
part
?F2 ?V))))
Mid-level-ontology.kif 809-822
Oggetto
è un'
istanza
di
VocalCords
Attributo
è un'
istanza
di
MalattiaOSindrome
attribute
Oggetto
and
Attributo
Oggetto
Oggetto
Oggetto
è un'
istanza
di
VocalFold
Oggetto
è un'
istanza
di
VocalFold
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
(=>
(
and
(
instance
?VO
VitalOrgan
)
(
instance
?H
Animal
)
(
not
(
part
?VO ?H)))
(
not
(
attribute
?H
Living
)))
Mid-level-ontology.kif 11836-11843
Oggetto
è un'
istanza
di
VitalOrgan
Oggetto
è un'
istanza
di
Animale
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Living
(=>
(
and
(
instance
?WATER
BodyOfWater
)
(
not
(
instance
?WATER
Ocean
))
(
instance
?OCEAN
Ocean
))
(
larger
?OCEAN ?WATER))
Geography.kif 4523-4528
Oggetto
è un'
istanza
di
BodyOfWater
Oggetto
è un'
istanza
di
Ocean
Oggetto
è un'
istanza
di
Ocean
Oggetto
è
pi
ù largo di
Oggetto
(=>
(
and
(
instance
?WINDOW
InterfaceWindow
)
(
instance
?GUIE
GUIElement
)
(
screenOfGUIE
?WINDOW ?SCREEN)
(
screenOfGUIE
?GUIE ?SCREEN)
(
not
(
instance
?GUIE
InterfaceWindow
))
(
hasGUEState
?WINDOW
GUE_ActiveState
)
(
hasGUEState
?GUIE
GUE_ActiveState
))
(
properPart
?GUIE ?WINDOW))
ComputerInput.kif 1920-1929
GUIElement
è un'
istanza
di
InterfaceWindow
GUIElement
è un'
istanza
di
GUIElement
screenOfGUIE
GUIElement
and
ComputerScreen
screenOfGUIE
GUIElement
and
ComputerScreen
GUIElement
è un'
istanza
di
InterfaceWindow
hasGUEState
GUIElement
and
GUE_ActiveState
hasGUEState
GUIElement
and
GUE_ActiveState
GUIElement
è una
Parte
propria di
GUIElement
(=>
(
and
(
instance
?WINDOW_A
InterfaceWindow
)
(
instance
?WINDOW_P
InterfaceWindow
)
(
screenOfGUIE
?WINDOW_A ?SCREEN)
(
screenOfGUIE
?WINDOW_P ?SCREEN)
(
hasGUEState
?WINDOW_A
GUE_ActiveState
)
(
not
(
equal
?WINDOW_A ?WINDOW_P)))
(
hasGUEState
?WINDOW_P
GUE_PassiveState
))
ComputerInput.kif 1964-1972
Entit�
_A è un'
istanza
di
InterfaceWindow
Entit�
_P è un'
istanza
di
InterfaceWindow
screenOfGUIE
Entit�
_A and
ComputerScreen
screenOfGUIE
Entit�
_P and
ComputerScreen
hasGUEState
Entit�
_A and
GUE_ActiveState
Entit�
_A is
uguale
a
Entit�
_P
hasGUEState
Entit�
_P and
GUE_PassiveState
(=>
(
and
(
instance
?X
Pasta
)
(
not
(
exists
(?Y)
(
and
(
instance
?Y
Pasta
)
(
part
?Y ?X)))))
(
attribute
?X
LongAndThin
))
Food.kif 2622-2630
Oggetto
è un'
istanza
di
Pasta
Oggetto
Oggetto
è un'
istanza
di
Pasta
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
LongAndThin
(=>
(
and
(
instance
?X
Penne
)
(
not
(
exists
(?Y)
(
and
(
instance
?Y
Penne
)
(
part
?Y ?X)))))
(
and
(
exists
(?HOLE2)
(
and
(
instance
?HOLE2
HoleRegion
)
(
part
?X ?HOLE2)))
(
attribute
?X
Fillable
)))
Food.kif 2763-2776
Oggetto
è un'
istanza
di
Penne
Oggetto
Oggetto
è un'
istanza
di
Penne
Oggetto
è una
parte
di
Oggetto
Oggetto
Oggetto
è un'
istanza
di
apertura
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Fillable
(=>
(
and
(
instance
?X
Spaghetti
)
(
not
(
exists
(?Y)
(
and
(
instance
?Y
Spaghetti
)
(
part
?Y ?X)))))
(
attribute
?X
LongAndThin
))
Food.kif 3464-3472
Oggetto
è un'
istanza
di
Spaghetti
Oggetto
Oggetto
è un'
istanza
di
Spaghetti
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
LongAndThin
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26961-26987
Entit�Concreta
è un'
istanza
di
SurveillanceSystem
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è
localizzato
in
Oggetto
InsiemeConcreto
è un'
istanza
di
Camera
InsiemeConcreto
è
localizzato
in
Oggetto
Oggetto
is
uguale
a
Oggetto
InsiemeConcreto
è un'
istanza
di
VideoDisplay
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
eventLocated
Entit�
and
Oggetto
Entit�
esprime
Entit�
Camera
è uno
strumento
per
Entit�
Entit�
è un
risultato
di
Entit�
Entit�
è un'
istanza
di
RadiazioneLuminosa
InsiemeConcreto
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
l'
inizio
di
Entit�
succede%{s}
prima
di l'
inizio
di
Entit�
l'
inizio
di
Entit�
succede%{s}
prima
di l'
inizio
di
Entit�
(=>
(
and
(
lastStatement
?Account ?Statement)
(
instance
?Transaction1
FinancialTransaction
)
(
realization
?Statement ?Transaction1)
(
instance
?Transaction2
FinancialTransaction
)
(
not
(
realization
?Statement ?Transaction2)))
(
earlier
(
WhenFn
?Transaction2)
(
WhenFn
?Transaction1)))
FinancialOntology.kif 3907-3914
lastStatement
FinancialAccount
and
BankStatement
Entit�Concreta
è un'
istanza
di
ScambioFinanziario
BankStatement
esprime
il contenuto di
Entit�Concreta
Entit�Concreta
è un'
istanza
di
ScambioFinanziario
BankStatement
esprime
il contenuto di
Entit�Concreta
il
tempo
di esistenza di
Entit�Concreta
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
measure
?P1
(
MeasureFn
?N1
Lumen
))
(
measure
?P2
(
MeasureFn
?N2
Lumen
))
(
part
?P1 ?O)
(
part
?P2 ?O)
(
not
(
equal
?P1 ?P2))
(
greaterThan
?N1 ?N2)
(
equal
(
DivisionFn
?N1 ?N2) ?R)
(
contrastRatio
?O ?R))
(
not
(
exists
(?P3 ?P4 ?N3 ?N4)
(
and
(
measure
?P3
(
MeasureFn
?N3
Lumen
))
(
measure
?P4
(
MeasureFn
?N4
Lumen
))
(
part
?P3 ?O)
(
part
?P4 ?O)
(
not
(
equal
?P3 ?P4))
(
greaterThan
?N3 ?N4)
(
greaterThan
(
DivisionFn
?N3 ?N4) ?R)))))
ComputingBrands.kif 3735-3756
La
misura
Oggetto
è
NumeroReale
Lumen
(s la
misura
Oggetto
è
NumeroReale
Lumen
(s
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
is
uguale
a
Oggetto
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
+
NumeroReale
is
uguale
a
NumeroReale
contrastRatio
Oggetto
and
NumeroReale
Oggetto
Oggetto
,
NumeroReale
and
NumeroReale
la
misura
Oggetto
è
NumeroReale
Lumen
(s la
misura
Oggetto
è
NumeroReale
Lumen
(s
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
is
uguale
a
Oggetto
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
+
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
meceCollection
?COLL1 ?COLL2)
(
instance
?COLL3
Collection
)
(
instance
?COLL4
Collection
)
(
instance
?MEMBER
SelfConnectedObject
)
(
member
?MEMBER ?COLL1)
(
member
?COLL3 ?COLL2)
(
member
?COLL4 ?COLL2)
(
not
(
equal
?COLL3 ?COLL4)))
(
not
(
and
(
member
?MEMBER ?COLL3)
(
member
?MEMBER ?COLL4))))
UXExperimentalTerms.kif 4638-4652
meceCollection
InsiemeConcreto
and
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
OggettoIntegro
Entit�Concreta
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è un
membro
di
InsiemeConcreto
InsiemeConcreto
is
uguale
a
InsiemeConcreto
~{
Entit�Concreta
è un
membro
di
InsiemeConcreto
} ~{
Entit�Concreta
è un
membro
di
InsiemeConcreto
}
(=>
(
and
(
member
?OBJ1 ?COLL)
(
member
?OBJ2 ?COLL)
(
not
(
equal
?OBJ1 ?OBJ2)))
(
not
(
overlapsSpatially
?OBJ1 ?OBJ2)))
Merge.kif 9615-9621
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
is
uguale
a
Oggetto
Oggetto
non
si
sovrappone a
Oggetto
(=>
(
and
(
names
?NAMESTRING ?OBJ)
(
nameBeforeKeyName
?STRING ?KEY ?NAMESTRING)
(
not
(
equal
?STRING ?KEY)))
(
not
(
nameIndexOrder
?NAMESTRING ?OBJ)))
Media.kif 3406-3411
names
Stringa
and
Entit�
nameBeforeKeyName
Stringa
,
Stringa
and
Stringa
Stringa
is
uguale
a
Stringa
nameIndexOrder
Stringa
and
Entit�
(=>
(
and
(
not
(
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
)))
(
greaterThan
?N 12))
Medicine.kif 206-221
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
è
pi
ù grande di 12
(=>
(
and
(
not
(
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
)))
(
greaterThan
?N 13))
Medicine.kif 189-204
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
è
pi
ù grande di 13
(=>
(
and
(
not
(
equal
?NUMBER2 0))
(
equal
(
AdditionFn
(
MultiplicationFn
(
FloorFn
(
DivisionFn
?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER))
Merge.kif 5117-5128
NumeroIntero
is
uguale
a 0 (the
il
maggior numero intero minore o uguale a
NumeroIntero
+
NumeroIntero
+
NumeroIntero
+
NumeroIntero
is
uguale
a
NumeroIntero
NumeroIntero
mod
NumeroIntero
is
uguale
a
NumeroIntero
(=>
(
and
(
not
(
holdsDuring
?T1
(
attribute
?H
Concussion
)))
(
holdsDuring
?T2
(
attribute
?H
Concussion
))
(
meetsTemporally
?T1 ?T2))
(
modalAttribute
(
holdsDuring
(
BeginFn
?T2)
(
attribute
?H
Unconscious
))
Likely
))
Medicine.kif 1314-1326
attribute
Entit�
and
Concussion
non vale
durante
IntervalloTemporale
attribute
Entit�
and
Concussion
vales
durante
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
l'affermazione
attribute
Entit�
and
Inconscio
vales
durante
l'
inizio
di
IntervalloTemporale
ha il modello di forza di
Likely
(=>
(
and
(
not
(
instance
?A
AutonomousAgent
))
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
Motion
)
(
patient
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 30243-30254
Entit�
è un'
istanza
di
AutonomousAgent
attribute
Entit�
and
Motionless
vales
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
Movimento
Entit�
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
(=>
(
and
(
not
(
part
?OBJ1 ?OBJ2))
(
not
(
part
?OBJ2 ?OBJ1))
(
and
(
part
?OBJ3 ?OBJ1)
(
part
?OBJ3 ?OBJ2)))
(
overlapsPartially
?OBJ1 ?OBJ2))
Merge.kif 9656-9663
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
si
sovrappone parzialmente as a
Oggetto
(=>
(
and
(
not
(
vegetationType
?REGION ?TYPE))
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
not
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION)))))
Geography.kif 6201-6209
vegetationType
AreaGeografica
and
Pianta
Pianta
è una
sottoclasse
di
Pianta
AreaGeografica
è un'
istanza
di
AreaGeografica
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Pianta
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?ATTR1)
(
contraryAttribute
@ROW)
(
inList
?ATTR1
(
ListFn
@ROW))
(
inList
?ATTR2
(
ListFn
@ROW))
(
not
(
equal
?ATTR1 ?ATTR2)))
(
not
(
orientation
?OBJ1 ?OBJ2 ?ATTR2)))
Merge.kif 16943-16951
Oggetto
è
AttributoPosizionale
a
Oggetto
@ROW è
opposto
a
AttributoPosizionale
è un
AttributoPosizionale
è un
AttributoPosizionale
is
uguale
a
AttributoPosizionale
Oggetto
è
AttributoPosizionale
a
Oggetto
(=>
(
and
(
overlapsSpatially
?ONE ?TWO)
(
instance
?TWO
Region
)
(
not
(
equal
?ONE ?TWO)))
(
partlyLocated
?ONE ?TWO))
Geography.kif 3496-3501
Oggetto
si
sovrappones a
Oggetto
Oggetto
è un'
istanza
di
Regione
Oggetto
is
uguale
a
Oggetto
Oggetto
è
in
parte localizzato in
Oggetto
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