Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
and
(
attribute
?X
Writer
)
(
instance
?TEXT ?CLASS)
(
or
(
subclass
?CLASS
Text
)
(
subclass
?CLASS
Document
))
(
instance
?WRITE
Writing
)
(
agent
?WRITE ?X)
(
result
?WRITE ?TEXT))
(
authors
?X ?CLASS))
Biography.kif 730-740
attribute
AutonomousAgent
and
Writer
Entit�
è un'
istanza
di
OggettoSemiotico
OggettoSemiotico
è una
sottoclasse
di
Testo
OggettoSemiotico
è una
sottoclasse
di
Document
Processo
è un'
istanza
di
Scrivere
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
risultato
di
Processo
AutonomousAgent
è l'
autore
di
OggettoSemiotico
(=>
(
and
(
exportTotalInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualExportTotal
?AREA ?AMOUNT)))))
Economy.kif 2277-2286
exportTotalInPeriod
AreaGeopolitica
,
MisuraMonetaria
and
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
annualExportTotal
AreaGeopolitica
and
MisuraMonetaria
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityConsumption
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityConsumptionInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2123-2130
annualElectricityConsumption
AreaGeopolitica
and
Quantit�Fisica
vales
durante
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
electricityConsumptionInPeriod
AreaGeopolitica
,
Quantit�Fisica
and
IntervalloTemporale
(=>
(
instance
?C
AircraftCarrier
)
(
hasPurpose
?C
(
exists
(?A ?T ?CLASS)
(
and
(
instance
?A
AirCraft
)
(
patient
?T ?A)
(
instance
?T ?CLASS)
(
or
(
and
(
capability
?CLASS
origin
?C)
(
subclass
?CLASS
TakingOff
))
(
and
(
capability
?CLASS
destination
?C)
(
subclass
?CLASS
Landing
?C)))))))
Transportation.kif 2467-2481
Entit�Concreta
è un'
istanza
di
AircraftCarrier
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�Concreta
LASS
Entit�
è un'
istanza
di
AirCraft
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
LASS
Entit�Concreta
è
capace
di fare
Entit�Concreta
LASS nel ruolo
origin
Entit�Concreta
LASS è una
sottoclasse
di
TakingOff
Entit�Concreta
è
capace
di fare
Entit�Concreta
LASS nel ruolo
destination
Entit�Concreta
LASS è una
sottoclasse
di
Landing
(=>
(
codeMapping
ISO-639-1
?TOKEN ?X)
(
or
(
instance
?X
HumanLanguage
)
(
instance
?X
(
subclass
?CLASS
HumanLanguage
))))
Languages.kif 14705-14709
codeMapping
ISO-639-1
,
Stringa
and
Entit�
Entit�
è un'
istanza
di
LinguaggioUmano
Entit�
è un'
istanza
di
Entit�
è una
sottoclasse
di
LinguaggioUmano
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
customer
AgenteCognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
l'affermazione
Entit�
Entit�
and
Entit�
%è un
elemento
di
Possibility
Entit�
è un
agente
di
AutonomousAgent
AgenteCognitivo
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un
sottoprocesso
di
Entit�
Entit�
è
localizzato
in
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CherryWood
)
(
subclass
?S
PlantStem
))
(
or
(
initialPart
?S
BlackCherryTree
)
(
initialPart
?S
SweetCherryTree
)))
Economy.kif 5326-5333
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
CherryWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
BlackCherryTree
initialPart
Oggetto
and
SweetCherryTree
(=>
(
and
(
paidRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
located
?P ?R)
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
exists
(?PRICE ?U)
(
and
(
price
?O
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 396-417
paidRoomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
TemporaryResidence
è un'
istanza
di
HotelUnit
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
Oggetto
è un'
istanza
di
Entit�Concreta
Oggetto
è
localizzato
in
TemporaryResidence
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
Umano
Processo
è
localizzato
in
TemporaryResidence
Oggetto
è un
paziente
di
Processo
Oggetto
è uno
strumento
per
Processo
Oggetto
è una
risorsa
per
Processo
Processo
RICE
Unit�DiMisura
price
Oggetto
,
Processo
RICE
Unit�DiMisura
(s and
Umano
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
Processo
RICE è
pi
ù grande di 0
(=>
(
and
(
holdsDuring
?YEAR
(
annualImportTotal
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
importTotalInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2594-2601
annualImportTotal
AreaGeopolitica
and
MisuraMonetaria
vales
durante
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
importTotalInPeriod
AreaGeopolitica
,
MisuraMonetaria
and
IntervalloTemporale
(=>
(
and
(
electricityConsumptionInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityConsumption
?AREA ?AMOUNT)))))
Economy.kif 2112-2121
electricityConsumptionInPeriod
AreaGeopolitica
,
Quantit�Fisica
and
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
annualElectricityConsumption
AreaGeopolitica
and
Quantit�Fisica
vales
durante
PosizioneTemporale
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS1)
(
domainSubclass
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 244-250
Il numero
NumeroInteroPositivo
argomento
Relazione
è una
sottoclasse
di
Classe
il numero
NumeroInteroPositivo
argomento
Relazione
è una
sottoclasse
di
Classe
Classe
è una
sottoclasse
di
Classe
Classe
è una
sottoclasse
di
Classe
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS1)
(
domain
?REL ?NUMBER ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 221-227
Il numero
NumeroInteroPositivo
argomenti di
Relazione
è un
istanza
di
Classe
il numero
NumeroInteroPositivo
argomenti di
Relazione
è un
istanza
di
Classe
Classe
è una
sottoclasse
di
Classe
Classe
è una
sottoclasse
di
Classe
(=>
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
origin
?B ?AGENT)
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validPaymentType
?PS ?PAY))
(
modalAttribute
(
exists
(?PAYMENT)
(
and
(
instance
?PAYMENT ?PAY)
(
subProcess
?PAYMENT ?B)))
Likely
))
Catalog.kif 337-352
Processo
è un'
istanza
di
Acquistare
Entit�
è un
paziente
di
Processo
Processo
si
originas in
AgenteCognitivo
publishedPrice
Entit�
,
MisuraMonetaria
,
AgenteCognitivo
and
PricingScheme
unitPrice
Entit�
,
FunzioneDiQuantit�
,
AgenteCognitivo
and
PricingScheme
Entit�
è una
sottoclasse
di
Entit�Concreta
%è una
istanza
immediata %2
validPaymentType
PricingScheme
and
Payment
l'affermazione
Payment
MENT
Payment
MENT è un'
istanza
di
Payment
Payment
MENT è un
sottoprocesso
di
Processo
ha il modello di forza di
Likely
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validityPeriod
?PS ?TIMEINT))
(
holdsDuring
?TIMEINT
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?ITEM))
(
transactionAmount
?S ?PRICE))
Likely
)))
Catalog.kif 372-387
publishedPrice
Entit�
,
MisuraMonetaria
,
AgenteCognitivo
and
PricingScheme
unitPrice
Entit�
,
FunzioneDiQuantit�
,
AgenteCognitivo
and
PricingScheme
Entit�
è una
sottoclasse
di
Entit�Concreta
%è una
istanza
immediata %2
validityPeriod
PricingScheme
and
IntervalloTemporale
l'affermazione
Entit�
è un'
istanza
di
Vendere
Entit�
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Entit�
transactionAmount
Entit�
and
MisuraMonetaria
ha il modello di forza di
Likely
vales
durante
IntervalloTemporale
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityImport
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityImportInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2213-2220
annualElectricityImport
AreaGeopolitica
and
Quantit�Fisica
vales
durante
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
electricityImportInPeriod
AreaGeopolitica
,
Quantit�Fisica
and
IntervalloTemporale
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
guest
Umano
and
AutonomousAgent
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
TemporaryResidence
è un'
istanza
di
TemporaryResidence
OOM
roomAmenity
TemporaryResidence
OOM and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Entit�Concreta
Entit�Concreta
è
localizzato
in
TemporaryResidence
AutonomousAgent
permette
a
Umano
di compiere il compito di tipo
Entit�
Entit�
è un
agente
di
Umano
Entit�Concreta
è uno
strumento
per
Entit�
Entit�Concreta
è un
paziente
di
Entit�
Entit�Concreta
è una
risorsa
per
Entit�
(=>
(
and
(
electricityProductionInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityProduction
?AREA ?AMOUNT)))))
Economy.kif 1980-1989
electricityProductionInPeriod
AreaGeopolitica
,
Quantit�Fisica
and
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
annualElectricityProduction
AreaGeopolitica
and
Quantit�Fisica
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?YEAR
(
annualExportTotal
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exportTotalInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2288-2295
annualExportTotal
AreaGeopolitica
and
MisuraMonetaria
vales
durante
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
exportTotalInPeriod
AreaGeopolitica
,
MisuraMonetaria
and
IntervalloTemporale
(=>
(
and
(
weaponCarryingCapability
?MV ?WC ?COUNT)
(
instance
?WEAPON ?WC)
(
capability
?PC ?ROLE ?WEAPON)
(
or
(
subclass
?PC
Shooting
)
(
subclass
?PC
Damaging
)))
(
capability
?PC ?ROLE ?MV))
MilitaryDevices.kif 35-43
weaponCarryingCapability
MilitaryVehicle
,
Arma
and
NumeroInteroPositivo
Oggetto
è un'
istanza
di
Arma
Oggetto
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
Processo
è una
sottoclasse
di
Sparare
Processo
è una
sottoclasse
di
Danneggiare
MilitaryVehicle
è
capace
di fare
Processo
nel ruolo
RuoloSemantico
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
functionRoomAmenity
HotelFunctionRoom
and
Entit�Concreta
Entit�
è un'
istanza
di
HotelFunctionRoom
%è un
elemento
di %2
Processo
è un'
istanza
di
Renting
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Entit�
Entit�Concreta
è una
sottoclasse
di
Oggetto
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un'
istanza
di
Processo
Entit�
è una
risorsa
per
Entit�
Entit�
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
Entit�
Entit�
esperisce
s
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
importTotalInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualImportTotal
?AREA ?AMOUNT)))))
Economy.kif 2583-2592
importTotalInPeriod
AreaGeopolitica
,
MisuraMonetaria
and
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
annualImportTotal
AreaGeopolitica
and
MisuraMonetaria
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityExport
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityExportInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2167-2174
annualElectricityExport
AreaGeopolitica
and
Quantit�Fisica
vales
durante
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
electricityExportInPeriod
AreaGeopolitica
,
Quantit�Fisica
and
IntervalloTemporale
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validFor
?PS ?CUSTCLASS)
(
instance
?CUSTOMER ?CUSTCLASS))
(
modalAttribute
(=>
(
and
(
instance
?B
Buying
)
(
agent
?B ?CUSTOMER)
(
origin
?B ?AGENT)
(
patient
?B ?ITEM))
(
transactionAmount
?B ?PRICE))
Likely
))
Catalog.kif 354-370
publishedPrice
Entit�
,
MisuraMonetaria
,
AgenteCognitivo
and
PricingScheme
unitPrice
Entit�
,
FunzioneDiQuantit�
,
AgenteCognitivo
and
PricingScheme
Entit�
è una
sottoclasse
di
Entit�Concreta
%è una
istanza
immediata %2
validFor
PricingScheme
and
AutonomousAgent
Entit�
è un'
istanza
di
AutonomousAgent
l'affermazione
Entit�
è un'
istanza
di
Acquistare
Entit�
è un
agente
di
Entit�
Entit�
si
originas in
AgenteCognitivo
Entit�
è un
paziente
di
Entit�
transactionAmount
Entit�
and
MisuraMonetaria
ha il modello di forza di
Likely
(=>
(
and
(
instance
?V
ViolentContest
)
(
patient
?V ?H)
(
attribute
?H
(
InjuryCausedFn
?PC))
(
attribute
?H
(
ImpairedBodyPartFn
Airway
)))
(
modalAttribute
(
or
(
subclass
?PC
Combustion
)
(
exists
(?FI)
(
and
(
instance
?I
Injuring
)
(
located
?I ?F)
(
instance
?F
Face
)
(
patient
?I ?H))))
Likely
))
Medicine.kif 698-715
Processo
è un'
istanza
di
CompetizioneViolenta
Oggetto
è un
paziente
di
Processo
attribute
Oggetto
and
InjuryCausedFn
Processo
attribute
Oggetto
and
ImpairedBodyPartFn
Airway
l'affermazione
Processo
è una
sottoclasse
di
Combustione
Entit�
Entit�
è un'
istanza
di
Trauma
Entit�
è
localizzato
in
Entit�
Entit�
è un'
istanza
di
Face
Oggetto
è un
paziente
di
Entit�
ha il modello di forza di
Likely
(=>
(
attribute
?H
ObsessiveCompulsiveDisorder
)
(
exists
(?COL ?C)
(
and
(
memberType
?COL ?C)
(
or
(
subclass
?C
Investigating
)
(
subclass
?C
Cleaning
))
(=>
(
instance
?CI ?C)
(
and
(
agent
?CI ?H)
(
not
(
wants
?H ?CI)))))))
Medicine.kif 4025-4038
attribute
AgenteCognitivo
and
ObsessiveCompulsiveDisorder
InsiemeConcreto
Classe
memberType
InsiemeConcreto
and
Classe
Classe
è una
sottoclasse
di
Investigare
Classe
è una
sottoclasse
di
Cleaning
Classe
I è un'
istanza
di
Classe
Classe
I è un
agente
di
AgenteCognitivo
AgenteCognitivo
non
vuole
Classe
I
(=>
(
and
(
electricityExportInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityExport
?AREA ?AMOUNT)))))
Economy.kif 2156-2165
electricityExportInPeriod
AreaGeopolitica
,
Quantit�Fisica
and
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
annualElectricityExport
AreaGeopolitica
and
Quantit�Fisica
vales
durante
PosizioneTemporale
(=>
(
and
(
roomAmenity
?ROOM ?SVC)
(
subclass
?SVC
Process
))
(
modalAttribute
(
exists
(?X ?S ?HOTEL ?PROC)
(
and
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?HOTEL))
(
agent
?S ?HOTEL)
(
or
(
instance
?S ?SVC)
(
and
(
instance
?PROC ?SVC)
(
subProcess
?S ?PROC)))
(
located
?S ?X)))
Possibility
))
Hotel.kif 317-332
roomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
l'affermazione
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
HotelUnit
%è un
elemento
di
Possibility
Entit�
è un
agente
di
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un
sottoprocesso
di
Entit�
Entit�
è
localizzato
in
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
electricityImportInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualElectricityImport
?AREA ?AMOUNT)))))
Economy.kif 2202-2211
electricityImportInPeriod
AreaGeopolitica
,
Quantit�Fisica
and
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
annualElectricityImport
AreaGeopolitica
and
Quantit�Fisica
vales
durante
PosizioneTemporale
(=>
(
instance
?X
Protecting
)
(
hasPurpose
?X
(
exists
(?OBJ ?T ?H ?HARM)
(
and
(
instance
?OBJ
Object
)
(
patient
?X
Object
)
(
subclass
?HARM
(
KappaFn
?H
(
and
(
or
(
instance
?H
CriminalAction
)
(
instance
?H
Damaging
))
(=>
(
holdsDuring
?T
(
patient
?H ?OBJ))
(
not
(
holdsDuring
?T
(
patient
?X ?OBJ)))))))
(
or
(
prevents
?X ?HARM)
(
hinders
?X ?HARM))))))
Mid-level-ontology.kif 18448-18469
Entit�Concreta
è un'
istanza
di
Protecting
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
ARM
Entit�
è un'
istanza
di
Oggetto
Oggetto
è un
paziente
di
Entit�Concreta
Entit�
ARM è una
sottoclasse
di la
classe
descritta da
Entit�
Entit�Concreta
impedisce
l'occorrenza di
Entit�
ARM
hinders
Entit�Concreta
and
Entit�
ARM
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5258-5265
Oggetto
is
uguale
a
OrganicObjectFn
Entit�Organica
Oggetto
è una
sottoclasse
di
Oggetto
Entit�Organica
è una
sottoclasse
di
Organismo
Entit�Organica
è una
sottoclasse
di
StrutturaAnatomica
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
subclass
(
ElectionFn
?AGENT)
Election
))
(
or
(
instance
?AGENT
Organization
)
(
instance
?AGENT
GeopoliticalArea
)))
Government.kif 1656-1662
AutonomousAgent
è un'
istanza
di
AutonomousAgent
ElectionFn
AutonomousAgent
è una
sottoclasse
di
Election
AutonomousAgent
è un'
istanza
di
Organizzazione
AutonomousAgent
è un'
istanza
di
AreaGeopolitica
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?F))
(
subclass
?S
Suet
)
(
subclass
?F
FatTissue
))
(
or
(
initialPart
?F
Cattle
)
(
initialPart
?F
Sheep
)))
Food.kif 2906-2914
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
Suet
Oggetto
è una
sottoclasse
di
TessutoGrasso
initialPart
Oggetto
and
Cattle
initialPart
Oggetto
and
Sheep
(=>
(
and
(
or
(
instance
?ROLE
OccupationalTrade
)
(
instance
?ROLE
Profession
))
(
holdsDuring
?T1
(
attribute
?HUMAN ?ROLE)))
(
exists
(?FIELD)
(
and
(
subclass
?FIELD
FieldOfStudy
)
(
holdsDuring
?T1
(
hasExpertise
?HUMAN ?FIELD)))))
Mid-level-ontology.kif 8320-8329
Entit�
è un'
istanza
di
OccupationalTrade
Entit�
è un'
istanza
di
Profession
attribute
Entit�
and
Entit�
vales
durante
PosizioneTemporale
Classe
Classe
è una
sottoclasse
di
CampoDiStudio
hasExpertise
Entit�
and
Classe
vales
durante
PosizioneTemporale
(=>
(
and
(
freeRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
price
?P
(
MeasureFn
0.0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 364-378
freeRoomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
TemporaryResidence
è un'
istanza
di
HotelUnit
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
Umano
è un
paziente
di
Processo
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un
sottoprocesso
di
Processo
Processo
è
localizzato
in
TemporaryResidence
price
Processo
, 0.0
UnitedStatesDollar
(s and
Umano
(=>
(
and
(
rangeSubclass
?REL ?CLASS1)
(
rangeSubclass
?REL ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 351-357
I valori resi da
Funzione
sono
sottoclassi
di
Classe
i valori resi da
Funzione
sono
sottoclassi
di
Classe
Classe
è una
sottoclasse
di
Classe
Classe
è una
sottoclasse
di
Classe
(=>
(
and
(
range
?REL ?CLASS1)
(
range
?REL ?CLASS2))
(
or
(
subclass
?CLASS1 ?CLASS2)
(
subclass
?CLASS2 ?CLASS1)))
Merge.kif 324-330
rango
di
Funzione
è un'istanza di
Classe
rango
di
Funzione
è un'istanza di
Classe
Classe
è una
sottoclasse
di
Classe
Classe
è una
sottoclasse
di
Classe
(=>
(
attribute
?H
NewsReporter
)
(
hasPurpose
?H
(
exists
(?EV ?T ?NEWS)
(
and
(
instance
?EV
Process
)
(
overlapsTemporally
(
WhenFn
?EV)
(
WhenFn
?H))
(
instance
?T ?NEWS)
(
or
(
subclass
?NEWS
Newspaper
)
(
subclass
?NEWS
NewsProgram
))
(
authors
?H ?NEWS)
(
refers
?T ?EV)))))
Mid-level-ontology.kif 21093-21107
attribute
Oggetto
and
NewsReporter
Oggetto
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
il
tempo
di esistenza di
Oggetto
sovrappone
s il
tempo
di esistenza di
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
è una
sottoclasse
di
Newspaper
Entit�
è una
sottoclasse
di
NewsProgram
Oggetto
è l'
autore
di
Entit�
Entit�
include un
riferimento
a
Entit�
(=>
(
and
(
instance
?SKI
SnowSki
)
(
material
?MAT ?SKI))
(
or
(
subclass
?MAT
Metal
)
(
subclass
?MAT
Wood
)
(
subclass
?MAT
Plastic
)))
Sports.kif 1041-1048
OggettoCorpuscolare
è un'
istanza
di
SnowSki
Sostanza
è
fatto
di
OggettoCorpuscolare
Sostanza
è una
sottoclasse
di
Metallo
Sostanza
è una
sottoclasse
di
Wood
Sostanza
è una
sottoclasse
di
Plastic
(=>
(
and
(
instance
?P
Plant
)
(
part
?TIS ?P))
(
exists
(?K ?W ?CLASS)
(
and
(
instance
?K ?CLASS)
(
subclass
?CLASS
Keeping
)
(
instance
?W
FreshWater
)
(
patient
?K ?W)
(
capability
?CLASS
instrument
?TIS)
(
or
(
instance
?TIS
PlantLeaf
)
(
instance
?TIS
PlantStem
)))))
Mid-level-ontology.kif 9588-9601
Oggetto
è un'
istanza
di
Pianta
Oggetto
è una
parte
di
Oggetto
Processo
Entit�
and
Processo
Processo
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Trattenere
Entit�
è un'
istanza
di
FreshWater
Entit�
è un
paziente
di
Processo
Oggetto
è
capace
di fare
Processo
nel ruolo
instrument
Oggetto
è un'
istanza
di
PlantLeaf
Oggetto
è un'
istanza
di
PlantStem
(=>
(
and
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
exists
(?PRICE ?U)
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 419-438
paidRoomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
TemporaryResidence
è un'
istanza
di
HotelUnit
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
Umano
è un
paziente
di
Processo
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un
sottoprocesso
di
Processo
Processo
è
localizzato
in
TemporaryResidence
Processo
RICE
Unit�DiMisura
price
Processo
,
Processo
RICE
Unit�DiMisura
(s and
Umano
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
Processo
RICE è
pi
ù grande di 0
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
customer
AgenteCognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
Entit�
è un'
istanza
di
Entit�Concreta
AutonomousAgent
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è una
risorsa
per
Entit�
Entit�
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Entit�
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityProduction
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityProductionInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 1991-1998
annualElectricityProduction
AreaGeopolitica
and
Quantit�Fisica
vales
durante
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
electricityProductionInPeriod
AreaGeopolitica
,
Quantit�Fisica
and
IntervalloTemporale
(=>
(
and
(
applicableRelation
?O ?R)
(
instance
?O ?OC)
(
domain
?R 1 ?DC))
(
or
(
equal
?OC ?DC)
(
subclass
?OC ?DC)))
Mid-level-ontology.kif 31419-31426
applicableRelation
Oggetto
and
Relazione
Oggetto
è un'
istanza
di
Oggetto
C il numero 1 argomenti di
Relazione
è un
istanza
di
Classe
Oggetto
C is
uguale
a
Classe
Oggetto
C è una
sottoclasse
di
Classe
(=>
(
and
(
freeRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
price
?O
(
MeasureFn
0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 346-361
freeRoomAmenity
HotelUnit
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
TemporaryResidence
è un'
istanza
di
HotelUnit
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
Oggetto
è un'
istanza
di
Entit�Concreta
Oggetto
è
localizzato
in
TemporaryResidence
Processo
è un'
istanza
di
Processo
Processo
è un
agente
di
Umano
Oggetto
è un
paziente
di
Processo
Oggetto
è uno
strumento
per
Processo
Oggetto
è una
risorsa
per
Processo
price
Oggetto
, 0
UnitedStatesDollar
(s and
Umano
(=>
(
and
(
equal
?O
(
OrganicObjectFn
?S))
(
subclass
?O
OilFromPlant
)
(
or
(
subclass
?S
Seed
)
(
subclass
?S
Fruit
)))
(
exists
(?P)
(
and
(
subclass
?P
FloweringPlant
)
(
initialPart
?S ?P))))
Economy.kif 4532-4543
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
OilFromPlant
Oggetto
è una
sottoclasse
di
Seed
Oggetto
è una
sottoclasse
di
Fruit
Oggetto
Oggetto
è una
sottoclasse
di
PiantaDaFiore
initialPart
Oggetto
and
Oggetto
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