member
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M))
(
exists
(?P ?PC)
(
and
(
instance
?PC ?P)
(
involvedInEvent
?PC ?M))))
Mid-level-ontology.kif 7948-7957
Processo
è un'
istanza
di
LargeGroupProcess
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
involvedInEvent
Processo
and
Entit�Concreta
Classe
Classe
C
Classe
C è un'
istanza
di
Classe
involvedInEvent
Classe
C and
Entit�Concreta
(=>
(
and
(
instance
?M
Meal
)
(
member
?H ?M)
(
or
(
instance
?H
Coffee
)
(
instance
?H
Tea
))
(
member
?J ?M)
(
instance
?J
Juice
)
(
member
?B ?M)
(
instance
?B
BreadOrBiscuit
)
(
member
?B ?M)
(
instance
?B
Butter
)
(
member
?JA ?M)
(
instance
?JA
Jam
))
(
attribute
?M
ContinentalBreakfast
))
Food.kif 1731-1746
InsiemeConcreto
è un'
istanza
di
Meal
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Coffee
Entit�Concreta
è un'
istanza
di
Tea
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Juice
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
BreadOrBiscuit
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Butter
Entit�Concreta
A è un
membro
di
InsiemeConcreto
Entit�Concreta
A è un'
istanza
di
Jam
attribute
InsiemeConcreto
and
ContinentalBreakfast
(=>
(
and
(
instance
?M
ShoppingMall
)
(
member
?S ?M))
(
instance
?S
RetailStore
))
Mid-level-ontology.kif 7794-7798
InsiemeConcreto
è un'
istanza
di
ShoppingMall
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
RetailStore
(=>
(
and
(
instance
?MC
MilitaryConvoy
)
(
member
?X ?MC))
(
instance
?X
MilitaryVehicle
))
Military.kif 102-106
InsiemeConcreto
è un'
istanza
di
MilitaryConvoy
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
MilitaryVehicle
(=>
(
and
(
instance
?MIT
BarMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Boy
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 69-85
Processo
è un'
istanza
di
BarMitzvah
Umano
è un
paziente
di
Processo
Umano
è un'
istanza
di
Boy
Umano
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
Judaism
birthdate
Umano
and
Giorno
Giorno
è un'
istanza
di il
giorno
NumeroInteroPositivo
NumeroIntero
PosizioneTemporale
NumeroIntero
è un'
istanza
di
NumeroIntero
NumeroIntero
is
uguale
a (
NumeroIntero
+ 13
PosizioneTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
il
tempo
di esistenza di
Processo
is
uguale
a immediatamente
dopo
PosizioneTemporale
(=>
(
and
(
instance
?MIT
BatMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Girl
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 99-115
Processo
è un'
istanza
di
BatMitzvah
Umano
è un
paziente
di
Processo
Umano
è un'
istanza
di
Girl
Umano
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
Judaism
birthdate
Umano
and
Giorno
Giorno
è un'
istanza
di il
giorno
NumeroInteroPositivo
NumeroIntero
PosizioneTemporale
NumeroIntero
è un'
istanza
di
NumeroIntero
NumeroIntero
is
uguale
a (
NumeroIntero
+ 13
PosizioneTemporale
è un'
istanza
di il
giorno
NumeroInteroPositivo
il
tempo
di esistenza di
Processo
is
uguale
a immediatamente
dopo
PosizioneTemporale
(=>
(
and
(
instance
?MUSIC
MakingVocalMusic
)
(
agent
?MUSIC ?GROUP)
(
instance
?GROUP
Choir
)
(
holdsDuring
?MUSIC
(
member
?MEM ?GROUP)))
(
exists
(?SING)
(
and
(
instance
?SING
Singing
)
(
subProcess
?SING ?MUSIC)
(
agent
?SING ?MEM))))
Media.kif 1807-1817
Processo
è un'
istanza
di
MakingVocalMusic
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Choir
AutonomousAgent
è un
membro
di
AutonomousAgent
vales
durante
Processo
Processo
Processo
è un'
istanza
di
Singing
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
(=>
(
and
(
instance
?ORD
Ordaining
)
(
patient
?ORD ?X)
(
instance
?X
Human
)
(
member
?X
Christianity
))
(
hasPurpose
?ORD
(
exists
(?CER ?A)
(
and
(
instance
?CER
Ceremony
)
(
instance
?A
Appointing
)
(
subProcess
?A ?CER)
(
patient
?A ?X)
(
appointedPosition
?A ?X
Cleric
)))))
Biography.kif 156-169
Processo
è un'
istanza
di
Ordaining
Entit�Concreta
è un
paziente
di
Processo
Entit�Concreta
è un'
istanza
di
Umano
Entit�Concreta
è un
membro
di
Christianity
Processo
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Ceremony
Entit�
è un'
istanza
di
Appointing
Entit�
è un
sottoprocesso
di
Entit�
Entit�Concreta
è un
paziente
di
Entit�
appointedPosition
Entit�
,
Entit�Concreta
and
Cleric
(=>
(
and
(
instance
?ORG
MilitaryOrganization
)
(
holdsDuring
?T1
(
member
?X ?ORG))
(
instance
?X
Human
))
(
holdsDuring
?T1
(
attribute
?X
MilitaryPerson
)))
Mid-level-ontology.kif 22469-22474
Entit�
è un'
istanza
di
MilitaryOrganization
Entit�
è un
membro
di
Entit�
vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Umano
attribute
Entit�
and
MilitaryPerson
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG))
(
instance
?AGENT
AutonomousAgent
))
Merge.kif 16653-16657
InsiemeConcreto
è un'
istanza
di
Organizzazione
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
AutonomousAgent
(=>
(
and
(
instance
?ORG
OrganizationOfNations
)
(
member
?MEM ?ORG))
(
instance
?MEM
Nation
))
Government.kif 2531-2535
InsiemeConcreto
è un'
istanza
di
OrganizationOfNations
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Nazione
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2263-2269
InsiemeConcreto
è un'
istanza
di
CommunistParty
AgenteCognitivo
è un
membro
di
InsiemeConcreto
Entit�
è un'
istanza
di
AreaGeopolitica
AgenteCognitivo
desidera
s
governmentType
Entit�
and
CommunistState
(=>
(
and
(
instance
?PROFILE
VisitorProfile
)
(
member
?FORMULA ?PROFILE))
(
instance
?FORMULA
Formula
))
UXExperimentalTerms.kif 1134-1138
InsiemeConcreto
è un'
istanza
di
VisitorProfile
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Formula
(=>
(
and
(
instance
?PURCHASES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PURCHASES)
(
instance
?MEMBER
Buying
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?BUYER ?BUYING)
(=>
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?PURCHASES)
(
agent
?BUYING ?BUYER))
(
located
?BUYER ?REGION))))))
(
exists
(?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE ?PURCHASES)
(
transactionAmount
?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
GMBFn
?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 2956-2983
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Acquistare
Oggetto
Oggetto
è un'
istanza
di
AreaGeopolitica
AutonomousAgent
Processo
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Processo
è un'
istanza
di
Acquistare
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è
localizzato
in
Oggetto
Stringa
Entit�
and
Entit�
_PURCHASE_AMOUNT
total
la
classe
descritta da
Stringa
and
Entit�
_PURCHASE_AMOUNT
GMBFn
InsiemeConcreto
is
uguale
a
Entit�
_PURCHASE_AMOUNT
(=>
(
and
(
instance
?SALES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?SALES)
(
instance
?MEMBER
Selling
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?SELLER ?SELLING)
(=>
(
and
(
instance
?SELLER
AutonomousAgent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
exists
(?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?SALE
Selling
)
(
member
?SALE ?SALES)
(
transactionAmount
?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
(
equal
(
GMVFn
?SALES) ?TOTAL_SALE_AMOUNT))))
UXExperimentalTerms.kif 2999-3026
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Vendere
Oggetto
Oggetto
è un'
istanza
di
AreaGeopolitica
AutonomousAgent
Processo
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Processo
è un'
istanza
di
Acquistare
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è
localizzato
in
Oggetto
Stringa
Entit�
and
Entit�
_SALE_AMOUNT
total
la
classe
descritta da
Stringa
and
Entit�
_SALE_AMOUNT
GMVFn
InsiemeConcreto
is
uguale
a
Entit�
_SALE_AMOUNT
(=>
(
and
(
instance
?SELLINGS
Collection
)
(
instance
?GMV
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMV
(
GMVFn
?SELLINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?SELLING)
(
and
(
member
?SELLING ?SELLINGS)
(
patient
?SELLING ?ITEM))))))))
(
equal
(
ASPFn
?SELLINGS)
(
DivisionFn
?GMV ?TOTAL)))
UXExperimentalTerms.kif 3282-3302
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
NumeroReale
è un'
istanza
di
MisuraMonetaria
NumeroIntero
è un'
istanza
di
NumeroReale
NumeroReale
is
uguale
a
GMVFn
InsiemeConcreto
NumeroIntero
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Stringa
ASPFn
InsiemeConcreto
is
uguale
a
NumeroReale
+
NumeroIntero
(=>
(
and
(
instance
?SHIP
Ship
)
(
instance
?AREA
GeopoliticalArea
)
(
member
?SHIP
(
MerchantMarineFn
?AREA)))
(
exists
(?REGISTRATION)
(
and
(
instance
?REGISTRATION
ShipRegistration
)
(
possesses
?SHIP ?REGISTRATION)
(
subsumesContentInstance
(
ShipRegisterFn
?AREA) ?REGISTRATION))))
Transportation.kif 1157-1166
AutonomousAgent
è un'
istanza
di
Ship
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
AutonomousAgent
è un
membro
di
MerchantMarineFn
AreaGeopolitica
Oggetto
Oggetto
è un'
istanza
di
ShipRegistration
AutonomousAgent
possiede
es
Oggetto
ShipRegisterFn
AreaGeopolitica
sussume
il contenuto di
Oggetto
(=>
(
and
(
instance
?STORE
WebStore
)
(
member
?PAGE ?STORE))
(
instance
?PAGE
WebPage
))
UXExperimentalTerms.kif 2141-2145
InsiemeConcreto
è un'
istanza
di
WebStore
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
WebPage
(=>
(
and
(
instance
?SUIT
ClothingSuit
)
(
member
?ITEM1 ?SUIT)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM1)))
(
forall
(?ITEM2)
(=>
(
member
?ITEM2 ?SUIT)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM2)))))
Mid-level-ontology.kif 5305-5313
InsiemeConcreto
è un'
istanza
di
ClothingSuit
Entit�Concreta
è un
membro
di
InsiemeConcreto
wears
Entit�
and
Entit�Concreta
vales
durante
PosizioneTemporale
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
wears
Entit�
and
Entit�Concreta
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?TEST
MultivariateTest
)
(
member
?EXPERIMENT ?TEST))
(
instance
?EXPERIMENT
Experimenting
))
UXExperimentalTerms.kif 4495-4499
InsiemeConcreto
è un'
istanza
di
MultivariateTest
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Experimenting
(=>
(
and
(
instance
?TO
TerroristOrganization
)
(
member
?PERSON ?TO))
(
attribute
?PERSON
Terrorist
))
MilitaryProcesses.kif 2151-2155
InsiemeConcreto
è un'
istanza
di
TerroristOrganization
Oggetto
è un
membro
di
InsiemeConcreto
attribute
Oggetto
and
Terrorist
(=>
(
and
(
instance
?UNIT
SocialUnit
)
(
holdsDuring
?T1
(
and
(
member
?UNIT ?H1)
(
member
?UNIT ?H2))))
(
holdsDuring
?T1
(
cohabitant
?H1 ?H2)))
Mid-level-ontology.kif 22997-23005
Entit�
è un'
istanza
di
SocialUnit
Entit�
è un
membro
di
Entit�
Entit�
è un
membro
di
Entit�
vales
durante
PosizioneTemporale
cohabitant
Entit�
and
Entit�
vales
durante
PosizioneTemporale
(=>
(
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
Vertebrate
)
(
instance
?H
Head
)
(
part
?H ?V)
(
instance
?S
Skull
)
(
attribute
?V
Healthy
)
(
member
?B ?S)
(
part
?B ?V))
(
part
?B ?H))
Mid-level-ontology.kif 11498-11507
Oggetto
è un'
istanza
di
Vertebrato
Oggetto
è un'
istanza
di
Head
Oggetto
è una
parte
di
Oggetto
InsiemeConcreto
è un'
istanza
di
Skull
attribute
Oggetto
and
Healthy
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?COLL
Collection
)
(
forall
(?EXPERIMENT ?EVENT)
(=>
(
exists
(?CLASS)
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?EVENT
Process
)
(
member
?EVENT
(
QualifyingEventsFn
?EXPERIMENT))
(
instance
?EVENT ?CLASS)
(
capability
?CLASS
experiencer
?VISITOR)))
(
member
?EVENT ?COLL)))
(=>
(
member
?PROC ?COLL)
(
and
(
instance
?PROC
Process
)
(
exists
(?EXP ?PROCESS)
(
and
(
instance
?EXP
Experimenting
)
(
member
?PROC
(
QualifyingEventsFn
?EXP))
(
instance
?PROC ?PROCESS)
(
capability
?PROCESS
experiencer
?VISITOR))))))
(
equal
(
QualifiedTreatmentsFn
?VISITOR) ?COLL))
UXExperimentalTerms.kif 4241-4267
Umano
è un'
istanza
di
Umano
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Experimenting
Entit�Concreta
Processo
Experimenting
è un'
istanza
di
Experimenting
Entit�Concreta
è un'
istanza
di
Processo
Entit�Concreta
è un
membro
di
QualifyingEventsFn
Experimenting
Entit�Concreta
è un'
istanza
di
Processo
Umano
è
capace
di fare
Processo
nel ruolo
experiencer
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Processo
Experimenting
Entit�Concreta
ESS
Experimenting
è un'
istanza
di
Experimenting
Entit�Concreta
è un
membro
di
QualifyingEventsFn
Experimenting
Entit�Concreta
è un'
istanza
di
Entit�Concreta
ESS
Umano
è
capace
di fare
Entit�Concreta
ESS nel ruolo
experiencer
QualifiedTreatmentsFn
Umano
is
uguale
a
InsiemeConcreto
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