member
(=>
(
and
(
webSales
?SALES ?SELLER ?SITE)
(
member
?SELLING ?SALES))
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE)))
UXExperimentalTerms.kif 934-941
webSales
InsiemeConcreto
,
Umano
and
WebSite
ScambioFinanziario
è un
membro
di
InsiemeConcreto
ScambioFinanziario
è un'
istanza
di
Vendere
ScambioFinanziario
è un
agente
di
Umano
eCommerceSite
ScambioFinanziario
and
WebSite
(=>
(
and
(
webcart
?USER ?COLL ?SITE)
(
instance
?OBJ
Object
)
(
member
?OBJ ?COLL))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 690-700
webcart
AgenteCognitivo
,
InsiemeConcreto
and
WebSite
Entit�Concreta
è un'
istanza
di
Oggetto
Entit�Concreta
è un
membro
di
InsiemeConcreto
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Acquistare
Entit�Concreta
è un
paziente
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
(=>
(
and
(
webcart
?USER ?COLL ?SITE)
(
member
?OBJ ?COLL))
(
instance
?OBJ
Object
))
UXExperimentalTerms.kif 684-688
webcart
AutonomousAgent
,
InsiemeConcreto
and
WebSite
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Oggetto
(=>
(
and
(
workLocation
?O ?S)
(
member
?P ?O)
(
instance
?W
Working
)
(
agent
?W ?P))
(
modalAttribute
(
located
?W ?S)
Likely
))
Mid-level-ontology.kif 20534-20542
workLocation
Organizzazione
and
ManufattoStatico
AutonomousAgent
è un
membro
di
Organizzazione
Processo
è un'
istanza
di
Working
Processo
è un
agente
di
AutonomousAgent
l'affermazione
Processo
è
localizzato
in
ManufattoStatico
ha il modello di forza di
Likely
(=>
(
holdsDuring
?T1
(
and
(
member
?AGENT1
Public
)
(
member
?AGENT2
Public
)
(
not
(
equal
?AGENT1 ?AGENT2))))
(
exists
(?INTEREST)
(
holdsDuring
?T1
(
and
(
desires
?AGENT1 ?INTEREST)
(
desires
?AGENT2 ?INTEREST)))))
Mid-level-ontology.kif 26068-26079
Entit�
è un
membro
di
Public
Entit�
è un
membro
di
Public
Entit�
is
uguale
a
Entit�
vales
durante
PosizioneTemporale
Entit�
Entit�
desidera
s
Entit�
Entit�
desidera
s
Entit�
vales
durante
PosizioneTemporale
(=>
(
member
?AGENT
InternationalCourtOfJustice
)
(
and
(
instance
?AGENT
Human
)
(
attribute
?AGENT
JudgeAtLaw
)))
Government.kif 3460-3464
Oggetto
è un
membro
di
InternationalCourtOfJustice
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
JudgeAtLaw
(=>
(
member
?AGNOSTIC
Agnosticism
)
(
not
(
knows
?AGNOSTIC
(
not
(
exists
(?GOD)
(
equal
?GOD
God
))))))
People.kif 691-697
AgenteCognitivo
è un
membro
di
Agnosticism
AgenteCognitivo
non
conosce
Entit�
Entit�
is
uguale
a
God
(=>
(
member
?AREA
UnitedStatesMinorOutlyingIslands
)
(
dependentGeopoliticalArea
?AREA
UnitedStates
))
Media.kif 2614-2616
AreaGeopolitica
è un
membro
di
UnitedStatesMinorOutlyingIslands
dependentGeopoliticalArea
AreaGeopolitica
and
UnitedStates
(=>
(
member
?ATHEIST
Atheism
)
(
believes
?ATHEIST
(
not
(
exists
(?GOD)
(
equal
?GOD
God
)))))
People.kif 710-715
AgenteCognitivo
è un
membro
di
Atheism
AgenteCognitivo
crede
s
Entit�
Entit�
is
uguale
a
God
(=>
(
member
?ISLAND
VirginIslands
)
(
instance
?ISLAND
Island
))
CountriesAndRegions.kif 1169-1171
Entit�Concreta
è un
membro
di
VirginIslands
Entit�Concreta
è un'
istanza
di
Isola
(=>
(
member
?MEMBER
Antisemitism
)
(
dislikes
?MEMBER
Judaism
))
People.kif 1442-1444
AgenteCognitivo
è un
membro
di
Antisemitism
dislikes
AgenteCognitivo
and
Judaism
(=>
(
member
?PERSON
(
ResidentFn
?AREA))
(
home
?PERSON ?AREA))
Mid-level-ontology.kif 8032-8034
Umano
è un
membro
di
ResidentFn
PermanentResidence
home
Umano
and
PermanentResidence
(=>
(
member
?STATE
GroupOf7
)
(
attribute
?STATE
MajorIndustrialEconomy
))
Economy.kif 751-753
Oggetto
è un
membro
di
GroupOf7
attribute
Oggetto
and
MajorIndustrialEconomy
(=>
(
member
?X
AntiVaxxer
)
(
believes
?X
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
suffers
?V ?H))))
Medicine.kif 3061-3068
AgenteCognitivo
è un
membro
di
AntiVaxxer
AgenteCognitivo
crede
s
Entit�
è un'
istanza
di
Vaccination
Entit�
esperisce
s
Entit�
suffers
Entit�
and
Entit�
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