Human
(Umano)
(=>
(
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
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3710-3751
Oggetto
è un'
istanza
di
CarAlarm
Oggetto
è un'
istanza
di
SelfPoweredRoadVehicle
Oggetto
è una
parte
di
Oggetto
Entit�
Entit�
,
Entit�
and
Entit�
Oggetto
ha
scopo
Entit�
è un'
istanza
di
Stealing
Entit�
è un'
istanza
di
Danneggiare
Entit�
è un'
istanza
di
Umano
Entit�
è un
agente
di
Entit�
Oggetto
è un
paziente
di
Entit�
il
tempo
di esistenza di
Entit�
is
uguale
a
Entit�
eventPartlyLocated
Entit�
and
Entit�
Entit�
Entit�
è un'
istanza
di
OndaSonora
Entit�
è un
agente
di
Oggetto
Entit�
causa
s
Entit�
Entit�
ha
scopo
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è
Near
a
Entit�
vales
durante
Entit�
aumenta
s la verosimiglianza di
Entit�
conosce
s
Entit�
Entit�
è un'
istanza
di
Stealing
Entit�
è un'
istanza
di
Danneggiare
eventPartlyLocated
Entit�
and
Entit�
Oggetto
è un
paziente
di
Entit�
vales
durante
Entit�
il
tempo
di esistenza di
Entit�
finisce
es il
tempo
di esistenza di
Entit�
(=>
(
and
(
instance
?X
ContentBearingObject
)
(
attribute
?X
Braille
))
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
attribute
?H
Blind
)
(
capability
Interpreting
agent
?H)
(
capability
Interpreting
patient
?X))))
Dining.kif 244-253
Oggetto
è un'
istanza
di
OggettoSemiotico
attribute
Oggetto
and
Braille
Oggetto
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
Blind
Oggetto
è
capace
di fare
Interpreting
nel ruolo
agent
Oggetto
è
capace
di fare
Interpreting
nel ruolo
patient
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3531-3552
WearableItem
è un'
istanza
di
Respirator
Animale
è un'
istanza
di
Animale
wears
Animale
and
WearableItem
WearableItem
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
WearableItem
è uno
strumento
per
Entit�
Entit�
impedisce
l'occorrenza di
Entit�
Entit�
è una
sottoclasse
di la
classe
descritta da
Entit�
(=>
(
and
(
instance
?X
WhirlpoolTub
)
(
attribute
?X
DoubleSize
))
(
modalAttribute
(
exists
(?T1)
(
holdsDuring
?T1
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
not
(
equal
?P1 ?P2))
(
located
?P1 ?X)
(
located
?P2 ?X)))))
Possibility
))
Mid-level-ontology.kif 25333-25346
Oggetto
è un'
istanza
di
WhirlpoolTub
attribute
Oggetto
and
DoubleSize
l'affermazione
Entit�
Entit�
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Umano
Entit�
is
uguale
a
Entit�
Entit�
è
localizzato
in
Oggetto
Entit�
è
localizzato
in
Oggetto
vales
durante
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
numberOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL)
(
and
(
instance
?COL
GroupOfPeople
)
(
memberType
?COL
Human
)
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2864-2873
numberOccupant
HotelReservation
and
NumeroIntero
fulfillingEntity
AutonomousAgent
and
HotelReservation
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
GroupOfPeople
memberType
InsiemeConcreto
and
Umano
memberCount
InsiemeConcreto
and
NumeroIntero
potentialCustomer
InsiemeConcreto
and
AutonomousAgent
(=>
(
and
(
subordinatePosition
?ORG ?ROLE1 ?ROLE2)
(
occupiesPosition
?PERSON1 ?ROLE1 ?ORG))
(
exists
(?PERSON2)
(
and
(
instance
?PERSON2
Human
)
(
occupiesPosition
?PERSON2 ?ROLE2 ?ORG)
(
subordinateInOrganization
?ORG ?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 22753-22761
subordinatePosition
Organizzazione
,
Posizione
and
Posizione
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
Umano
Umano
è un'
istanza
di
Umano
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
subordinateInOrganization
Organizzazione
,
Umano
and
Umano
(=>
(
and
(
viewType
?ROOM ?OBJ)
(
instance
?ROOM
Room
)
(
instance
?INST ?OBJ)
(
orientation
?INST ?ROOM
Outside
))
(
modalAttribute
(
exists
(?HUMAN ?SEE)
(
and
(
instance
?HUMAN
Human
)
(
located
?HUMAN ?ROOM)
(
instance
?SEE
Seeing
)
(
patient
?SEE ?INST)
(
agent
?SEE ?HUMAN)))
Possibility
))
Hotel.kif 954-967
viewType
Oggetto
and
Entit�Concreta
Oggetto
è un'
istanza
di
Stanza
Oggetto
è un'
istanza
di
Entit�Concreta
Oggetto
è
Outside
a
Oggetto
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è
localizzato
in
Oggetto
Entit�
è un'
istanza
di
Vista
Oggetto
è un
paziente
di
Entit�
Entit�
è un
agente
di
Entit�
ha il modello di forza di
Possibility
(=>
(
arrested
?ARREST ?OBJ)
(
or
(
instance
?OBJ
Human
)
(
instance
?OBJ
GroupOfPeople
)))
Mid-level-ontology.kif 23488-23492
arrested
PlacingUnderArrest
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
è un'
istanza
di
GroupOfPeople
(=>
(
attribute
?COACH
Coach
)
(
exists
(?ATHLETE ?GAME ?EDUCATION)
(
and
(
instance
?ATHLETE
Human
)
(
instance
?GAME
Game
)
(
instance
?EDUCATION
EducationalProcess
)
(
agent
?EDUCATION ?COACH)
(
patient
?EDUCATION ?ATHLETE)
(
refers
?EDUCATION ?GAME))))
Sports.kif 524-533
attribute
AutonomousAgent
and
Coach
Entit�
Entit�
and
Processo
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Gioco
Processo
è un'
istanza
di
ProcessoEducazionale
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
include un
riferimento
a
Entit�
(=>
(
attribute
?X
BarberShops
)
(
hasPurpose
?X
(
exists
(?HAIR ?HUMAN ?CUT ?STYLIST)
(
and
(
instance
?HAIR
Hair
)
(
part
?HAIR ?HUMAN)
(
instance
?HUMAN
Human
)
(
instance
?CUT
Cutting
)
(
patient
?CUT ?HAIR)
(
eventLocated
?CUT ?X)
(
agent
?CUT ?STYLIST)
(
employs
?X ?STYLIST)))))
naics.kif 11934-11946
attribute
Oggetto
and
BarberShops
Oggetto
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Hair
Entit�
è una
parte
di
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Tagliare
Entit�
è un
paziente
di
Entit�
eventLocated
Entit�
and
Oggetto
Entit�
è un
agente
di
Entit�
Oggetto
impiega
s
Entit�
(=>
(
attribute
?X
ExecutiveLevel
)
(
forall
(?Y)
(=>
(
and
(
instance
?Y
HotelRoom
)
(
located
?Y ?X))
(
hasPurpose
?Y
(
exists
(?HUMAN)
(
and
(
attribute
?HUMAN
BusinessExecutive
)
(
instance
?HUMAN
Human
)
(
stays
?HUMAN ?Y)))))))
Hotel.kif 1224-1236
attribute
Oggetto
and
ExecutiveLevel
Entit�Concreta
Entit�Concreta
è un'
istanza
di
HotelRoom
Entit�Concreta
è
localizzato
in
Oggetto
Entit�Concreta
ha
scopo
Entit�
attribute
Entit�
and
BusinessExecutive
Entit�
è un'
istanza
di
Umano
stays
Entit�
and
Entit�Concreta
(=>
(
attribute
?X
FemaleExecutiveRoom
)
(
hasPurpose
?X
(
exists
(?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
attribute
?HUMAN
Female
)
(
attribute
?HUMAN
BusinessExecutive
)
(
stays
?HUMAN ?X)))))
Hotel.kif 1042-1050
attribute
Oggetto
and
FemaleExecutiveRoom
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
Umano
attribute
Entit�
and
Female
attribute
Entit�
and
BusinessExecutive
stays
Entit�
and
Oggetto
(=>
(
attribute
?X
HandicappedFriendly
)
(
exists
(?ATTR ?PERSON)
(
and
(
instance
?ATTR
Disability
)
(
instance
?PERSON
Human
)
(
attribute
?PERSON ?ATTR)
(
inScopeOfInterest
?PERSON ?X))))
Mid-level-ontology.kif 26182-26189
attribute
Oggetto
and
HandicappedFriendly
Attributo
AgenteCognitivo
Attributo
è un'
istanza
di
Disability
AgenteCognitivo
è un'
istanza
di
Umano
attribute
AgenteCognitivo
and
Attributo
AgenteCognitivo
è
interessato
a
Oggetto
(=>
(
attribute
?X
Multilingual
)
(
instance
?X
Human
))
Mid-level-ontology.kif 25744-25746
attribute
Oggetto
and
Multilingual
Oggetto
è un'
istanza
di
Umano
(=>
(
attribute
?X
SnackAndNonalcoholicBeverageBars
)
(
hasPurpose
?X
(
exists
(?SELL ?FOOD)
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
instance
?SELL
Selling
)
(
patient
?SELL ?FOOD)
(
agent
?SELL ?X)))))
naics.kif 11668-11676
attribute
Oggetto
and
SnackAndNonalcoholicBeverageBars
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
FoodForFn
Umano
Entit�
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
Oggetto
(=>
(
attribute
?X
Waiter
)
(
instance
?X
Human
))
Mid-level-ontology.kif 20597-20599
attribute
Oggetto
and
Waiter
Oggetto
è un'
istanza
di
Umano
(=>
(
bloodVolume
?H ?V)
(
and
(
exists
(?B)
(
and
(
instance
?B
Blood
)
(
contains
?H ?B)
(
instance
?H
Human
)
(
measure
?B ?V)))
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Blood
)
(
contains
?H ?B2)
(
not
(
piece
?B2 ?B)))))))
Medicine.kif 5897-5912
bloodVolume
Umano
and
MisuraVolumetrica
Sostanza
Sostanza
è un'
istanza
di
Sangue
contains
Umano
and
Sostanza
Umano
è un'
istanza
di
Umano
la
misura
Sostanza
è
MisuraVolumetrica
Sostanza
2
Sostanza
2 è un'
istanza
di
Sangue
contains
Umano
and
Sostanza
2
Sostanza
2 è un
membro
di
Sostanza
(=>
(
electionForPosition
?ELECTION ?ROLE)
(
exists
(?CANDIDATE)
(
and
(
instance
?CANDIDATE
Human
)
(
candidateForPosition
?ELECTION ?ROLE ?CANDIDATE))))
Government.kif 1753-1758
electionForPosition
Election
and
RuoloSociale
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Umano
candidateForPosition
Election
,
RuoloSociale
and
AutonomousAgent
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
causes
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
during
(
WhenFn
?P) ?T)))
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))))
emotion.kif 865-877
attribute
Entit�
and
InterpersonalDisgust
vales
durante
PosizioneTemporale
Entit�
Entit�
Entit�
è un'
istanza
di
Percezione
Entit�
è un
paziente
di
Entit�
Entit�
esperisce
s
Entit�
Entit�
è un'
istanza
di
Umano
il
tempo
di esistenza di
Entit�
has luogo
durante
PosizioneTemporale
causa
s
attribute
Entit�
and
InterpersonalDisgust
vales
durante
PosizioneTemporale
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
not
(
equal
?H ?A))
(
during
(
WhenFn
?P) ?T))))
emotion.kif 852-863
attribute
AutonomousAgent
and
InterpersonalDisgust
vales
durante
IntervalloTemporale
Processo
Entit�
Processo
è un'
istanza
di
Percezione
Entit�
è un
paziente
di
Processo
AutonomousAgent
esperisce
s
Processo
Entit�
è un'
istanza
di
Umano
Entit�
is
uguale
a
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
(=>
(
holdsDuring
?T
(
attribute
?X
SafetyPosition
))
(
holdsDuring
?T
(
hasPurpose
?X
(
exists
(?P ?H ?I ?T2)
(
and
(
instance
?H
Human
)
(
instance
?P
Process
)
(
patient
?P ?H)
(
agent
?P ?X)
(
prevents
?P
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(=>
(
holdsDuring
?T2
(
experiencer
?I ?H))
(
not
(
holdsDuring
?T2
(
patient
?P ?H))))))))))))
Mid-level-ontology.kif 30707-30727
attribute
Entit�
and
SafetyPosition
vales
durante
PosizioneTemporale
Entit�
ha
scopo
Entit�
Entit�
,
Entit�
and
PosizioneTemporale
2
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Processo
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
Entit�
Entit�
impedisce
l'occorrenza di la
classe
descritta da
Entit�
vales
durante
PosizioneTemporale
(=>
(
holdsDuring
?TIME
(
attribute
?SLAVE
HumanSlave
))
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
not
(
equal
?PERSON ?SLAVE))
(
holdsDuring
?TIME
(
possesses
?PERSON ?SLAVE)))))
Mid-level-ontology.kif 176-183
attribute
Entit�
and
HumanSlave
vales
durante
PosizioneTemporale
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
is
uguale
a
Entit�
Entit�
possiede
es
Entit�
vales
durante
PosizioneTemporale
(=>
(
holdsDuring
?TIME
(
attribute
?T
Tourniquet
))
(
exists
(?P ?B ?A)
(
and
(
instance
?P
Human
)
(
instance
?B
Bleeding
)
(
instance
?A
Attaching
)
(
experiencer
?B ?P)
(
destination
?A ?P)
(
objectTransferred
?A ?T)
(
hasPurpose
?T
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Bleeding
)
(
overlapsTemporally
(
WhenFn
?B2)
(
ImmediateFutureFn
(
WhenFn
?A)))
(
experiencer
?B2 ?P))))))))
Medicine.kif 20-39
attribute
Oggetto
and
Tourniquet
vales
durante
Oggetto
IME
AutonomousAgent
Processo
and
Trasferimento
AutonomousAgent
è un'
istanza
di
Umano
Processo
è un'
istanza
di
Bleeding
Trasferimento
è un'
istanza
di
Attaccare
AutonomousAgent
esperisce
s
Processo
Trasferimento
fine
s in
AutonomousAgent
objectTransferred
Trasferimento
and
Oggetto
Oggetto
ha
scopo
Processo
2
Processo
2 è un'
istanza
di
Bleeding
immediatamente
dopo
il
tempo
di esistenza di
Trasferimento
sovrappone
s il
tempo
di esistenza di
Processo
2
AutonomousAgent
esperisce
s
Processo
2
(=>
(
instance
?A
Ambulance
)
(
hasPurpose
?A
(
exists
(?P ?T)
(
and
(
instance
?P
Human
)
(
or
(
attribute
?P
DiseaseOrSyndrome
)
(
exists
(?I ?H)
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?H)
(
before
?I ?T))))
(
instance
?T
Transportation
)
(
instrument
?T ?A)
(
patient
?T ?H)))))
Transportation.kif 1906-1921
Entit�Concreta
è un'
istanza
di
Ambulance
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Umano
attribute
Entit�
and
MalattiaOSindrome
Entit�
Entit�
Entit�
è un'
istanza
di
Trauma
Entit�
esperisce
s
Entit�
Entit�
succede%{s}
prima
di
Entit�
Entit�
è un'
istanza
di
Trasporto
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
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