=>
(=>
(
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
(=>
(
and
(
attribute
?MR
CoverRecording
)
(
instance
?MR
MusicRecording
)
(
songArtist
?MR ?A)
(
musicInterpretation
?MR ?M)
(
record
?MR ?MM))
(
exists
(?ORIG ?ARTIST ?MUSIC)
(
and
(
musicInterpretation
?ORIG ?M)
(
songArtist
?ORIG ?ARTIST)
(
not
(
equal
?A ?ARTIST))
(
record
?ORIG ?MUSIC)
(
before
(
WhenFn
?MUSIC)
(
WhenFn
?MM)))))
Music.kif 457-470
attribute
MusicRecording
and
CoverRecording
MusicRecording
è un'
istanza
di
MusicRecording
songArtist
MusicRecording
and
AgenteCognitivo
musicInterpretation
MusicRecording
and
Musica
record
MusicRecording
and
Musica
M
MusicRecording
AgenteCognitivo
RTIST and
Musica
USIC
musicInterpretation
MusicRecording
and
Musica
songArtist
MusicRecording
and
AgenteCognitivo
RTIST
AgenteCognitivo
is
uguale
a
AgenteCognitivo
RTIST
record
MusicRecording
and
Musica
USIC il
tempo
di esistenza di
Musica
USIC succede%{s}
prima
di il
tempo
di esistenza di
Musica
M
(=>
(
and
(
attribute
?O ?P)
(
instance
?P
Fingerprint
)
(
not
(
instance
?O
Finger
)))
(
exists
(?PR ?F)
(
and
(
instrument
?PR ?F)
(
instance
?F
Finger
)
(
attribute
?F ?P)
(
patient
?PR ?O))))
Mid-level-ontology.kif 12536-12546
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
Fingerprint
Oggetto
è un'
istanza
di
Finger
Attributo
R
Oggetto
Oggetto
è uno
strumento
per
Attributo
R
Oggetto
è un'
istanza
di
Finger
attribute
Oggetto
and
Attributo
Oggetto
è un
paziente
di
Attributo
R
(=>
(
and
(
attribute
?O
Concave
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Outside
))
ComputingBrands.kif 2693-2704
attribute
OggettoIntegro
and
Concave
OggettoIntegro
è una
superficie
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
is
uguale
a
LineFn
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è
Outside
a
OggettoIntegro
(=>
(
and
(
attribute
?O
Convex
)
(
surface
?O ?S)
(
part
?P1 ?S)
(
part
?P2 ?S)
(
equal
?L
(
LineFn
?P1 ?P2))
(
not
(
equal
?P1 ?P2))
(
part
?PL ?L))
(
orientation
?PL ?O
Inside
))
ComputingBrands.kif 2665-2676
attribute
OggettoIntegro
and
Convex
OggettoIntegro
è una
superficie
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
è una
parte
di
OggettoIntegro
Oggetto
is
uguale
a
LineFn
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è
Inside
a
OggettoIntegro
(=>
(
and
(
attribute
?OBJ ?ATR)
(
instance
?ATR
SubjectiveAssessmentAttribute
))
(
exists
(?TIME ?JUDGE ?AGENT)
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
patient
?JUDGE ?OBJ)
(
result
?JUDGE
(
attribute
?OBJ ?ATR))
(
holdsDuring
?TIME
(
believes
?AGENT
(
property
?OBJ ?ATR))))))
Merge.kif 17354-17367
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
AttributoSoggettivo
PosizioneTemporale
Processo
and
AutonomousAgent
Processo
è un'
istanza
di
Judging
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
attribute
Oggetto
and
Attributo
è un
risultato
di
Processo
AutonomousAgent
crede
s
Oggetto
ha un
attributo
Attributo
vales
durante
PosizioneTemporale
(=>
(
and
(
attribute
?OBJ ?ATTR)
(
instance
?ATTR
FoodAttribute
))
(
instance
?OBJ
PreparedFood
))
Dining.kif 1130-1134
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
FoodAttribute
Oggetto
è un'
istanza
di
PreparedFood
(=>
(
and
(
attribute
?OBJ ?SPHERE)
(
instance
?SPHERE
Sphere
))
(
exists
(?CENTER ?DIST)
(
forall
(?PT)
(=>
(
pointOfFigure
?PT ?OBJ)
(
geometricDistance
?PT ?CENTER ?DIST)))))
Mid-level-ontology.kif 4989-4997
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
Sphere
GeometricPoint
MisuraDiLunghezza
GeometricPoint
pointOfFigure
GeometricPoint
and
Oggetto
geometricDistance
GeometricPoint
,
GeometricPoint
and
MisuraDiLunghezza
(=>
(
and
(
attribute
?OBJ
Monochromatic
)
(
superficialPart
?PART ?OBJ)
(
attribute
?PART ?COLOR)
(
instance
?COLOR
PrimaryColor
))
(
forall
(?ELEMENT)
(=>
(
superficialPart
?ELEMENT ?OBJ)
(
attribute
?ELEMENT ?COLOR))))
Merge.kif 17710-17719
attribute
Oggetto
and
Monochromatic
Oggetto
è una
parte
superficiale di
Oggetto
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
ColorePirmario
Oggetto
Oggetto
è una
parte
superficiale di
Oggetto
attribute
Oggetto
and
Attributo
(=>
(
and
(
attribute
?OBJECT ?ATTRIBUTE)
(
instance
?ATTRIBUTE
Brushless
))
(
instance
?OBJECT
ElectricalMotor
))
engineering.kif 716-720
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
Brushless
Oggetto
è un'
istanza
di
ElectricalMotor
(=>
(
and
(
attribute
?OFFICER ?COR)
(
instance
?COR
CommissionedOfficerRank
))
(
exists
(?MANAGE ?PATIENT)
(
and
(
instance
?MANAGE
Managing
)
(
agent
?MANAGE ?OFFICER)
(
patient
?MANAGE ?PATIENT)
(
or
(
instance
?PATIENT
MilitaryOrganization
)
(
attribute
?PATIENT
Soldier
)))))
Military.kif 286-297
attribute
AutonomousAgent
and
Attributo
Attributo
è un'
istanza
di
CommissionedOfficerRank
Processo
Oggetto
Processo
è un'
istanza
di
Gestione
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
MilitaryOrganization
attribute
Oggetto
and
Soldier
(=>
(
and
(
attribute
?ORG ?ATT)
(
instance
?ATT
BiologicalAttribute
))
(
instance
?ORG
OrganicObject
))
Merge.kif 18058-18062
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
AttributoBiologico
Oggetto
è un'
istanza
di
Entit�Organica
(=>
(
and
(
attribute
?ORG ?ATT)
(
instance
?ATT
DeepSeaCoastalAndGreatLakesWaterTransportation
))
(
instance
?ORG
TransportationCompany
))
naics.kif 8114-8118
attribute
Oggetto
and
Attributo
Attributo
è un'
istanza
di
DeepSeaCoastalAndGreatLakesWaterTransportation
Oggetto
è un'
istanza
di
TransportationCompany
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