possesses
(=>
(
and
(
instance
?T
Trespassing
)
(
agent
?T ?H)
(
patient
?T ?P))
(
and
(
not
(
possesses
?H ?P))
(
modalAttribute
(
located
?H ?P)
Illegal
)))
Mid-level-ontology.kif 18291-18301
Processo
è un'
istanza
di
Trespassing
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
AutonomousAgent
non
possiede
Oggetto
l'affermazione
AutonomousAgent
è
localizzato
in
Oggetto
ha il modello di forza di
Illegal
(=>
(
and
(
instance
?UNIT
ApartmentUnit
)
(
home
?PERSON ?UNIT))
(
not
(
possesses
?PERSON ?UNIT)))
Mid-level-ontology.kif 6871-6875
PermanentResidence
è un'
istanza
di
ApartmentUnit
home
Umano
and
PermanentResidence
Umano
non
possiede
PermanentResidence
(=>
(
and
(
instance
?X
PhotocopyingService
)
(
serviceProvider
?X ?AGENT))
(
exists
(?DEVICE)
(
and
(
instance
?DEVICE
Photocopier
)
(
possesses
?AGENT ?DEVICE)
(
instrument
?X ?DEVICE))))
Hotel.kif 2138-2146
ServiceProcess
è un'
istanza
di
PhotocopyingService
serviceProvider
ServiceProcess
and
AgenteCognitivo
Oggetto
Oggetto
è un'
istanza
di
Photocopier
AgenteCognitivo
possiede
es
Oggetto
Oggetto
è uno
strumento
per
ServiceProcess
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30956-30971
shortage
AgenteCognitivo
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
Quantit�
Quantit�
è un'
istanza
di
NumeroIntero
AgenteCognitivo
desidera
s
Entit�
Entit�
Entit�
è un'
istanza
di
Acquistare
il
tempo
di esistenza di
Entit�
has luogo
durante
IntervalloTemporale
objectTransferred
Entit�
and
Entit�
transactionAmount
Entit�
and
MisuraMonetaria
Entit�
è un
agente
di
AgenteCognitivo
Entit�
è un'
istanza
di
InsiemeConcreto
memberType
Entit�
and
Oggetto
memberCount
Entit�
and
Quantit�
AgenteCognitivo
possiede
es
Entit�
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30898-30908
shortage
AgenteCognitivo
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
Quantit�
Quantit�
è un'
istanza
di
NumeroIntero
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
InsiemeConcreto
memberType
Entit�
and
Oggetto
memberCount
Entit�
and
Quantit�
AgenteCognitivo
possiede
es
Entit�
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
Integer
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G
Collection
)
(
memberType
?G ?O)
(
memberCount
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30923-30938
shortage
AutonomousAgent
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
NumeroIntero
NumeroIntero
è un'
istanza
di
NumeroIntero
Trasferimento
InsiemeConcreto
Trasferimento
è un'
istanza
di
Acquistare
il
tempo
di esistenza di
Trasferimento
has luogo
durante
IntervalloTemporale
objectTransferred
Trasferimento
and
InsiemeConcreto
transactionAmount
Trasferimento
and
MisuraMonetaria
Trasferimento
è un
agente
di
AutonomousAgent
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Oggetto
memberCount
InsiemeConcreto
and
NumeroIntero
AutonomousAgent
possiede
es
InsiemeConcreto
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30973-30987
shortage
AgenteCognitivo
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
Quantit�
Quantit�
è un'
istanza
di
Quantit�Fisica
AgenteCognitivo
desidera
s
Entit�
Entit�
Entit�
è un'
istanza
di
Acquistare
il
tempo
di esistenza di
Entit�
has luogo
durante
IntervalloTemporale
objectTransferred
Entit�
and
Entit�
transactionAmount
Entit�
and
MisuraMonetaria
Entit�
è un
agente
di
AgenteCognitivo
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
Quantit�
AgenteCognitivo
possiede
es
Entit�
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
desires
?A
(
exists
(?G)
(
and
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30912-30921
shortage
AgenteCognitivo
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
Quantit�
Quantit�
è un'
istanza
di
Quantit�Fisica
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
Quantit�
AgenteCognitivo
possiede
es
Entit�
(=>
(
and
(
shortage
?A ?O ?C ?T ?N)
(
instance
?N
PhysicalQuantity
))
(
not
(
exists
(?B ?G)
(
and
(
instance
?B
Buying
)
(
during
(
WhenFn
?B) ?T)
(
objectTransferred
?B ?G)
(
transactionAmount
?B ?C)
(
agent
?B ?A)
(
instance
?G ?O)
(
measure
?G ?N)
(
possesses
?A ?G)))))
Mid-level-ontology.kif 30940-30954
shortage
AutonomousAgent
,
Oggetto
,
MisuraMonetaria
,
IntervalloTemporale
and
Quantit�Fisica
Quantit�Fisica
è un'
istanza
di
Quantit�Fisica
Trasferimento
Oggetto
Trasferimento
è un'
istanza
di
Acquistare
il
tempo
di esistenza di
Trasferimento
has luogo
durante
IntervalloTemporale
objectTransferred
Trasferimento
and
Oggetto
transactionAmount
Trasferimento
and
MisuraMonetaria
Trasferimento
è un
agente
di
AutonomousAgent
Oggetto
è un'
istanza
di
Oggetto
la
misura
Oggetto
è
Quantit�Fisica
AutonomousAgent
possiede
es
Oggetto
(=>
(
and
(
wants
?AGENT ?OBJ)
(
instance
?OBJ
Object
))
(
desires
?AGENT
(
possesses
?AGENT ?OBJ)))
Merge.kif 2777-2782
AgenteCognitivo
vuole
s
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Oggetto
AgenteCognitivo
desidera
s
AgenteCognitivo
possiede
es
Entit�Concreta
(=>
(
attribute
?Agent
Investor
)
(
exists
(?Investment)
(
and
(
instance
?Investment
Investment
)
(
possesses
?Agent ?Investment))))
FinancialOntology.kif 1786-1791
attribute
AutonomousAgent
and
Investor
Oggetto
Oggetto
è un'
istanza
di
Investment
AutonomousAgent
possiede
es
Oggetto
(=>
(
attribute
?X
PassengerCarRental
)
(
hasPurpose
?X
(
exists
(?RENT ?CAR ?CUST)
(
and
(
customer
?CUST ?X)
(
instance
?CAR
Automobile
)
(
instance
?RENT
Renting
)
(
possesses
?X ?CAR)
(
agent
?RENT ?CUST)))))
naics.kif 9711-9720
attribute
Oggetto
and
PassengerCarRental
Oggetto
ha
scopo
Entit�
Entit�
and
Entit�
customer
Entit�
and
Oggetto
Entit�
è un'
istanza
di
Automobile
Entit�
è un'
istanza
di
Renting
Oggetto
possiede
es
Entit�
Entit�
è un
agente
di
Entit�
(=>
(
dayPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 6)
(
lessThan
?Num 18)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3691-3711
dayPhone
Stringa
and
AutonomousAgent
Telephone
Entit�
and
NumeroReale
phoneNumber
Stringa
and
Telephone
NumeroReale
è
pi
ù grande di 6
NumeroReale
è
meno
di18
Entit�
Entit�
è un'
istanza
di
Telephoning
Entit�
fine
s in
AutonomousAgent
Telephone
è un
paziente
di
Entit�
AutonomousAgent
possiede
es
Telephone
l'affermazione
Entit�
Entit�
è un'
istanza
di
Answering
Entit�
è un
sottoprocesso
di
Entit�
Entit�
è un
agente
di
AutonomousAgent
ha il modello di forza di
Likely
vales
durante
Entit�
è un'
istanza
di l'
ora
NumeroReale
(=>
(
dependentGeopoliticalArea
?AREA ?COUNTRY)
(
possesses
?COUNTRY ?AREA))
Government.kif 469-471
dependentGeopoliticalArea
AreaGeopolitica
and
AreaGeopolitica
AreaGeopolitica
possiede
es
AreaGeopolitica
(=>
(
dislikes
?AGENT ?OBJECT)
(
desires
?AGENT
(
not
(
possesses
?AGENT ?OBJECT))))
Mid-level-ontology.kif 7432-7434
dislikes
AgenteCognitivo
and
Oggetto
AgenteCognitivo
desidera
s
AgenteCognitivo
non
possiede
Oggetto
(=>
(
element
?OBJ
(
PropertyFn
?PERSON))
(
possesses
?PERSON ?OBJ))
Merge.kif 4280-4283
%è un
elemento
di %2
AutonomousAgent
possiede
es
Oggetto
(=>
(
eveningPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 18)
(
lessThan
?Num 6)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3735-3755
eveningPhone
Stringa
and
AutonomousAgent
Telephone
Entit�
and
NumeroReale
phoneNumber
Stringa
and
Telephone
NumeroReale
è
pi
ù grande di 18
NumeroReale
è
meno
di6
Entit�
Entit�
è un'
istanza
di
Telephoning
Entit�
fine
s in
AutonomousAgent
Telephone
è un
paziente
di
Entit�
AutonomousAgent
possiede
es
Telephone
l'affermazione
Entit�
Entit�
è un'
istanza
di
Answering
Entit�
è un
sottoprocesso
di
Entit�
Entit�
è un
agente
di
AutonomousAgent
ha il modello di forza di
Likely
vales
durante
Entit�
è un'
istanza
di l'
ora
NumeroReale
(=>
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
instance
?DEVICE
MobileCellPhone
)
(
mobilePhoneNumber
?NUMBER ?AGENT)))
(
holdsDuring
?TIME
(
possesses
?AGENT ?DEVICE)))
Mid-level-ontology.kif 25142-25148
deviceTelecomNumber
Entit�
and
Entit�
Entit�
è un'
istanza
di
MobileCellPhone
mobilePhoneNumber
Entit�
and
Entit�
vales
durante
PosizioneTemporale
Entit�
possiede
es
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
(
lacks
?AGENT ?OBJECT))
(
holdsDuring
?TIME
(
not
(
possesses
?AGENT ?OBJECT))))
Mid-level-ontology.kif 7453-7458
lacks
Entit�
and
Entit�
vales
durante
PosizioneTemporale
Entit�
non
possiede
Entit�
vales
durante
PosizioneTemporale
(=>
(
instance
?AAU
AssaultAmphibianUnit
)
(
exists
(?AAV)
(
and
(
instance
?AAV
AAV
)
(
possesses
?AAU ?AAV))))
MilitaryPersons.kif 642-647
AutonomousAgent
è un'
istanza
di
AssaultAmphibianUnit
Oggetto
Oggetto
è un'
istanza
di
AAV
AutonomousAgent
possiede
es
Oggetto
(=>
(
instance
?AB
ArtilleryBattery
)
(
exists
(?AC)
(
and
(
instance
?AC
ArtilleryCannon
)
(
possesses
?AB ?AC))))
MilitaryPersons.kif 494-499
AutonomousAgent
è un'
istanza
di
ArtilleryBattery
Oggetto
Oggetto
è un'
istanza
di
ArtilleryCannon
AutonomousAgent
possiede
es
Oggetto
(=>
(
instance
?AB
InfantryUnit
)
(
exists
(?AC)
(
and
(
or
(
instance
?AC
AutomaticGun
)
(
instance
?AC
Firearm
)
(
instance
?AC
MortarGun
)
(
instance
?AC
ExplosiveMine
))
(
possesses
?AB ?AC))))
Military.kif 676-685
AutonomousAgent
è un'
istanza
di
InfantryUnit
Oggetto
Oggetto
è un'
istanza
di
AutomaticGun
Oggetto
è un'
istanza
di
Firearm
Oggetto
è un'
istanza
di
MortarGun
Oggetto
è un'
istanza
di
ExplosiveMine
AutonomousAgent
possiede
es
Oggetto
(=>
(
instance
?AIRLINE
Airline
)
(
exists
(?FLEET ?AIRCRAFT)
(
and
(
instance
?FLEET
Fleet
)
(
possesses
?AIRLINE ?FLEET)
(
instance
?AIRCRAFT
Aircraft
)
(
member
?AIRCRAFT ?FLEET))))
Transportation.kif 3323-3330
AutonomousAgent
è un'
istanza
di
Airline
InsiemeConcreto
Entit�Concreta
InsiemeConcreto
è un'
istanza
di
Fleet
AutonomousAgent
possiede
es
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Aircraft
Entit�Concreta
è un
membro
di
InsiemeConcreto
(=>
(
instance
?C
CruiseShip
)
(
hasPurpose
?C
(
exists
(?E ?A ?O)
(
and
(
instance
?E
RecreationOrExercise
)
(
possesses
?O ?C)
(
agent
?E ?A)
(
customer
?O ?A)
(
eventLocated
?E ?C)))))
Transportation.kif 2471-2480
Entit�Concreta
è un'
istanza
di
CruiseShip
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
PassatempoOEsercizio
Entit�
possiede
es
Entit�Concreta
Entit�
è un
agente
di
Entit�
customer
Entit�
and
Entit�
eventLocated
Entit�
and
Entit�Concreta
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