member
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
PrintingAndRelatedSupportActivities
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
SurfaceChange
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2923-2939
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
PrintingAndRelatedSupportActivities
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Entit�
Processo
2 and
AutonomousAgent
2
AutonomousAgent
è un'
istanza
di
Lavorazione
Entit�
è un'
istanza
di
CambiamentoDiSuperficie
Entit�
è un
paziente
di
AutonomousAgent
Processo
2 è un
membro
di
InsiemeConcreto
AutonomousAgent
2 è un'
istanza
di
Vendere
AutonomousAgent
2 è un
agente
di
Processo
2
Entit�
è un
paziente
di
AutonomousAgent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
RailTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?MOVE ?RR ?OBJ)
(
and
(
instance
?MOVE
Transportation
)
(
or
(
patient
?MOVE ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?MOVE ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?RR)
(
instance
?RR
RailVehicle
))) ?MEM ?P))))))
naics.kif 8034-8059
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
RailTransportation
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
Vendere
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
è un
paziente
di
AutonomousAgent
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Trasporto
AgenteCognitivo
è un
paziente
di
Entit�
AgenteCognitivo
possiede
es
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Oggetto
InsiemeConcreto
possiede
es
Entit�
Entit�
è un'
istanza
di
RailVehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ScenicAndSightseeingTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?TRANS ?VEH)
(
and
(
instance
?TRANS
Transportation
)
(
instance
?TRANS
RecreationOrExercise
)
(
patient
?TRANS ?P)
(
possesses
?ORG ?VEH)
(
instance
?VEH
Vehicle
))) ?MEM ?P))))))
naics.kif 8528-8549
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
ScenicAndSightseeingTransportation
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
Vendere
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
è un
paziente
di
AutonomousAgent
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
Entit�
è un'
istanza
di
Trasporto
Entit�
è un'
istanza
di
PassatempoOEsercizio
AgenteCognitivo
è un
paziente
di
Entit�
InsiemeConcreto
possiede
es
Entit�
Entit�
è un'
istanza
di
Vehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
SportingGoodsHobbyBookAndMusicStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
or
(
capability
Sport
instrument
?THING)
(
capability
MakingMusic
instrument
?THING)
(
instance
?THING
Book
)
(
instance
?THING
MusicRecording
)
(
instance
?THING
MusicText
))
(
patient
?EV ?THING))))))
naics.kif 7600-7618
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
SportingGoodsHobbyBookAndMusicStores
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Oggetto
AutonomousAgent
è un'
istanza
di
Vendere
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è
capace
di fare
Sport
nel ruolo
instrument
Oggetto
è
capace
di fare
MakingMusic
nel ruolo
instrument
Oggetto
è un'
istanza
di
Libro
Oggetto
è un'
istanza
di
MusicRecording
Oggetto
è un'
istanza
di
MusicText
Oggetto
è un
paziente
di
AutonomousAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TextileMills
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Fabric
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 1944-1960
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
TextileMills
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Entit�
Processo
2 and
AutonomousAgent
2
AutonomousAgent
è un'
istanza
di
Lavorazione
Entit�
è un'
istanza
di
Stoffa
Entit�
è un
paziente
di
AutonomousAgent
Processo
2 è un
membro
di
InsiemeConcreto
AutonomousAgent
2 è un'
istanza
di
Vendere
AutonomousAgent
2 è un
agente
di
Processo
2
Entit�
è un
paziente
di
AutonomousAgent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TextileProductMills
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Fabric
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2085-2101
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
TextileProductMills
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Entit�
Processo
2 and
AutonomousAgent
2
AutonomousAgent
è un'
istanza
di
Lavorazione
Entit�
è un'
istanza
di
Stoffa
Entit�
è un
paziente
di
AutonomousAgent
Processo
2 è un
membro
di
InsiemeConcreto
AutonomousAgent
2 è un'
istanza
di
Vendere
AutonomousAgent
2 è un
agente
di
Processo
2
Entit�
è un
paziente
di
AutonomousAgent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TransitAndGroundPassengerTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?P)
(
possesses
?ORG ?V)
(
instance
?V
LandVehicle
))) ?MEM ?P))))))
naics.kif 8344-8364
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
TransitAndGroundPassengerTransportation
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
Vendere
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
è un
paziente
di
AutonomousAgent
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
Entit�
è un'
istanza
di
Trasporto
AgenteCognitivo
è un
paziente
di
Entit�
InsiemeConcreto
possiede
es
Entit�
Entit�
è un'
istanza
di
LandVehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TransportationEquipmentManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
TransportationDevice
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 5683-5699
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
TransportationEquipmentManufacturing
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Entit�
Processo
2 and
AutonomousAgent
2
AutonomousAgent
è un'
istanza
di
Lavorazione
Entit�
è un'
istanza
di
MezzoDiTrasporto
Entit�
è un
paziente
di
AutonomousAgent
Processo
2 è un
membro
di
InsiemeConcreto
AutonomousAgent
2 è un'
istanza
di
Vendere
AutonomousAgent
2 è un
agente
di
Processo
2
Entit�
è un
paziente
di
AutonomousAgent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
TruckTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ)
(
and
(
instance
?T
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)
(
possesses
?ORG ?V)
(
instance
?V
LandVehicle
))) ?MEM ?P))))))
naics.kif 8253-8275
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
TruckTransportation
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
Vendere
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
è un
paziente
di
AutonomousAgent
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Trasporto
AgenteCognitivo
possiede
es
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Oggetto
InsiemeConcreto
possiede
es
Entit�
Entit�
è un'
istanza
di
LandVehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
Utilities
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
or
(
instance
?EV
Removing
)
(
instance
?THING
Sewage
))
(
patient
?EV ?THING)
(
or
(
instance
?THING
Electron
)
(
instance
?THING
Water
)
(
and
(
instance
?THING
PureSubstance
)
(
capability
Combustion
patient
?THING)))
(
member
?MEM2 ?ORG)
(
instance
?EV2
FinancialTransaction
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 954-977
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
Utilities
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Oggetto
Processo
2 and
AutonomousAgent
2
AutonomousAgent
è un'
istanza
di
Spostamento
Oggetto
è un'
istanza
di
Sewage
Oggetto
è un
paziente
di
AutonomousAgent
Oggetto
è un'
istanza
di
Elettrone
Oggetto
è un'
istanza
di
Acqua
Oggetto
è un'
istanza
di
SostanzaPura
Oggetto
è
capace
di fare
Combustione
nel ruolo
patient
Processo
2 è un
membro
di
InsiemeConcreto
AutonomousAgent
2 è un'
istanza
di
ScambioFinanziario
AutonomousAgent
2 è un
agente
di
Processo
2
Oggetto
è un
paziente
di
AutonomousAgent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WarehousingAndStorage
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?B ?T)
(
and
(
instance
?T
TimeInterval
)
(
instance
?B
Building
)
(
possesses
?P ?OBJ)
(
holdsDuring
?T
(
located
?B ?OBJ)))) ?MEM ?P))))))
naics.kif 8776-8797
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
WarehousingAndStorage
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
Entit�
AutonomousAgent
è un'
istanza
di
Vendere
Entit�
è un'
istanza
di
Oggetto
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
è un
paziente
di
AutonomousAgent
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
Entit�
è un'
istanza
di
IntervalloTemporale
Entit�
è un'
istanza
di
Costruzione
AgenteCognitivo
possiede
es
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
Entit�
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WaterTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ)
(
and
(
instance
?T
Transportation
)
(
or
(
patient
?T ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?V)
(
instance
?V
WaterVehicle
))) ?MEM ?P))))))
naics.kif 8080-8105
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
WaterTransportationIndustry
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
Vendere
AgenteCognitivo
è un'
istanza
di
Umano
AgenteCognitivo
è un
paziente
di
AutonomousAgent
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Trasporto
AgenteCognitivo
è un
paziente
di
Entit�
AgenteCognitivo
possiede
es
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Oggetto
InsiemeConcreto
possiede
es
Entit�
Entit�
è un'
istanza
di
WaterVehicle
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WholesaleTrade
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 6375-6391
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
WholesaleTrade
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Entit�
Processo
2 and
AutonomousAgent
2
AutonomousAgent
è un'
istanza
di
Vendere
Entit�
è un'
istanza
di
Oggetto
Entit�
è un
paziente
di
AutonomousAgent
Processo
2 è un
membro
di
InsiemeConcreto
AutonomousAgent
2 è un'
istanza
di
Vendere
AutonomousAgent
2 è un
agente
di
Processo
2
Entit�
è un
paziente
di
AutonomousAgent
2
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
WoodProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Wood
)
(
material
Wood
?THING))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2563-2581
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
WoodProductManufacturing
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
OggettoCorpuscolare
Processo
2 and
AutonomousAgent
2
AutonomousAgent
è un'
istanza
di
Lavorazione
OggettoCorpuscolare
è un'
istanza
di
Wood
Wood
è
fatto
di
OggettoCorpuscolare
OggettoCorpuscolare
è un
paziente
di
AutonomousAgent
Processo
2 è un
membro
di
InsiemeConcreto
AutonomousAgent
2 è un'
istanza
di
Vendere
AutonomousAgent
2 è un
agente
di
Processo
2
OggettoCorpuscolare
è un
paziente
di
AutonomousAgent
2
(=>
(
and
(
instance
?PERSON
Human
)
(
equal
(
DescendantsFn
?PERSON) ?DESCENDANTS))
(
forall
(?MEMBER)
(<=>
(
member
?MEMBER ?DESCENDANTS)
(
ancestor
?MEMBER ?PERSON))))
Mid-level-ontology.kif 7466-7473
Umano
è un'
istanza
di
Umano
DescendantsFn
Umano
is
uguale
a
GruppoFamiliare
Organismo
Organismo
è un
membro
di
GruppoFamiliare
ancestor
Organismo
and
Umano
(=>
(
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
?SERVICE
ChristianService
)
(
agent
?SERVICE ?PERSON)
(
instance
?PERSON
Human
))
(
member
?PERSON
Christianity
))
People.kif 783-788
Processo
è un'
istanza
di
ChristianService
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
è un
membro
di
Christianity
(=>
(
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
?V
Vertebrate
)
(
instance
?H
Head
)
(
part
?H ?V)
(
attribute
?V
Healthy
))
(
exists
(?S ?B)
(
and
(
instance
?S
Skull
)
(
member
?B ?S)
(
part
?B ?H))))
Mid-level-ontology.kif 11486-11496
Oggetto
è un'
istanza
di
Vertebrato
Oggetto
è un'
istanza
di
Head
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Healthy
InsiemeConcreto
Oggetto
InsiemeConcreto
è un'
istanza
di
Skull
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è una
parte
di
Oggetto
(=>
(
and
(
instance
?VARIABLE
Process
)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?AGENT
AutonomousAgent
)
(
experiencer
?AGENT
AutonomousAgent
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
exists
(?CONTROL_GROUP)
(
and
(
instance
?CONTROL_GROUP
Collection
)
(
member
?AGENT ?CONTROL_GROUP)
(
controlGroup
?CONTROL_GROUP ?EXPERIMENT))))
UXExperimentalTerms.kif 3851-3862
Processo
è un'
istanza
di
Processo
Experimenting
è un'
istanza
di
Experimenting
Processo
è un'
istanza
di
AutonomousAgent
AutonomousAgent
esperisce
s
Processo
experimentalVariableProcess
Experimenting
and
Processo
Entit�
_GROUP
Entit�
_GROUP è un'
istanza
di
InsiemeConcreto
Processo
è un
membro
di
Entit�
_GROUP
controlGroup
Entit�
_GROUP and
Experimenting
(=>
(
and
(
instance
?VARIABLE
Process
)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?AGENT
AutonomousAgent
)
(
experiencer
?AGENT
AutonomousAgent
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
exists
(?TREATMENT_GROUP)
(
and
(
instance
?TREATMENT_GROUP
Collection
)
(
member
?AGENT ?TREATMENT_GROUP)
(
treatmentGroup
?TREATMENT_GROUP ?EXPERIMENT))))
UXExperimentalTerms.kif 3968-3979
Processo
è un'
istanza
di
Processo
Experimenting
è un'
istanza
di
Experimenting
Processo
è un'
istanza
di
AutonomousAgent
AutonomousAgent
esperisce
s
Processo
experimentalVariableProcess
Experimenting
and
Processo
Entit�
_GROUP
Entit�
_GROUP è un'
istanza
di
InsiemeConcreto
Processo
è un
membro
di
Entit�
_GROUP
treatmentGroup
Entit�
_GROUP and
Experimenting
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?HYPERLINK
HypertextLink
)
(
forall
(?ACCESSING)
(
and
(
member
?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
component
?PAGE ?HYPERLINK)))))
(
exists
(?CLICKS)
(
and
(
instance
?CLICKS
Collection
)
(
forall
(?CLICK)
(=>
(
and
(
instance
?CLICK
RequestingHyperlink
)
(
patient
?CLICK ?HYPERLINK))
(
member
?CLICK ?CLICKS)))
(
equal
(
ClickThroughRateFn
?VISITS ?HYPERLINK)
(
DivisionFn
(
CardinalityFn
?CLICKS)
(
CardinalityFn
?VISITS))))))
UXExperimentalTerms.kif 3333-3356
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
OggettoCorpuscolare
è un'
istanza
di
HypertextLink
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
AccessingWebPage
InsiemeConcreto
è un
componente
di
OggettoCorpuscolare
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Processo
Processo
è un'
istanza
di
RequestingHyperlink
OggettoCorpuscolare
è un
paziente
di
Processo
Processo
è un
membro
di
InsiemeConcreto
ClickThroughRateFn
InsiemeConcreto
and
OggettoCorpuscolare
is
uguale
a il numero di
istanzia
in
InsiemeConcreto
+ il numero di
istanzia
in
InsiemeConcreto
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
AccessingWebPage
Processo
AutonomousAgent
,
Processo
,
Processo
and
Oggetto
AutonomousAgent
è un'
istanza
di
Umano
Processo
è un'
istanza
di
Acquistare
Processo
è un'
istanza
di
AccessingWebPage
Oggetto
è un'
istanza
di
WebPage
Processo
è un
membro
di
InsiemeConcreto
Processo
fine
s in
Oggetto
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
il
tempo
di esistenza di
Processo
Oggetto
è uno
strumento
per
Processo
Processo
è un
membro
di
InsiemeConcreto
IntervalloTemporale
Entit�
_IN_INTERVAL and
Entit�
_IN_INTERVAL
SCRFn
InsiemeConcreto
and
IntervalloTemporale
is
uguale
a il numero di
istanzia
in la
classe
descritta da
Entit�
_IN_INTERVAL + il numero di
istanzia
in la
classe
descritta da
Entit�
_IN_INTERVAL
(=>
(
and
(
instance
?WAR
War
)
(
agent
?WAR ?AGENT))
(
or
(
instance
?AGENT
GeopoliticalArea
)
(
and
(
instance
?AGENT
Organization
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?AGENT)
(
instance
?MEMBER
GeopoliticalArea
))))))
Merge.kif 13360-13371
Processo
è un'
istanza
di
Guerra
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
AreaGeopolitica
AutonomousAgent
è un'
istanza
di
Organizzazione
Entit�Concreta
Entit�Concreta
è un
membro
di
AutonomousAgent
Entit�Concreta
è un'
istanza
di
AreaGeopolitica
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