refers
(=>
(
describes
?FORMULA ?OBJECT)
(
exists
(?STATING ?AGENT)
(
and
(
instance
?STATING
Stating
)
(
agent
?STATING ?AGENT)
(
patient
?STATING ?FORMULA)
(
refers
?STATING ?OBJECT))))
Mid-level-ontology.kif 16152-16159
describes
Formula
and
Oggetto
Processo
AutonomousAgent
Processo
è un'
istanza
di
Affermare
Processo
è un
agente
di
AutonomousAgent
Formula
è un
paziente
di
Processo
Processo
include un
riferimento
a
Oggetto
(=>
(
evidence
?LA ?P)
(
exists
(?A ?PROP)
(
and
(
instance
?PROP
Proposition
)
(
instance
?A
Argument
)
(
refers
?A ?LA)
(
represents
?PROP ?P)
(
premise
?A ?PROP))))
Law.kif 180-188
evidence
AzioneLegale
and
Entit�Concreta
Argument
Entit�Concreta
ROP
Entit�Concreta
ROP è un'
istanza
di
Proposizione
Argument
è un'
istanza
di
Argument
Argument
include un
riferimento
a
AzioneLegale
Entit�Concreta
ROP
esprime
Entit�Concreta
premise
Argument
and
Entit�Concreta
ROP
(=>
(
experimentUpdate
?CBP ?EXP)
(
refers
?CBP ?EXP))
UXExperimentalTerms.kif 2680-2682
experimentUpdate
ContentBearingPhysical
and
Experimenting
ContentBearingPhysical
include un
riferimento
a
Experimenting
(=>
(
finalExperimentReport
?CBP ?EXP)
(
refers
?CBP ?EXP))
UXExperimentalTerms.kif 2709-2711
finalExperimentReport
ContentBearingPhysical
and
Experimenting
ContentBearingPhysical
include un
riferimento
a
Experimenting
(=>
(
instance
?A
Announcement
)
(
exists
(?CD ?I)
(
and
(
instance
?CD
ContentDevelopment
)
(
result
?CD ?A)
(
refers
?A ?I)
(
instance
?I
SocialInteraction
)
(
earlier
(
WhenFn
?CD)
(
WhenFn
?I)))))
Mid-level-ontology.kif 14522-14532
Entit�
è un'
istanza
di
Announcement
Processo
Entit�Concreta
Processo
è un'
istanza
di
SviluppoDelContenuto
Entit�
è un
risultato
di
Processo
Entit�
include un
riferimento
a
Entit�Concreta
Entit�Concreta
è un'
istanza
di
InterazioneSociale
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
instance
?A
Aqiqah
)
(
exists
(?BIRTH)
(
and
(
refers
?A ?BIRTH)
(
earlier
(
WhenFn
?BIRTH)
(
WhenFn
?A)))))
ArabicCulture.kif 333-338
Entit�Concreta
è un'
istanza
di
Aqiqah
Entit�Concreta
Entit�Concreta
include un
riferimento
a
Entit�Concreta
il
tempo
di esistenza di
Entit�Concreta
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
instance
?ADVERT
Advertising
)
(
exists
(?OBJ)
(
and
(
refers
?ADVERT ?OBJ)
(
hasPurpose
?ADVERT
(
exists
(?SALE)
(
and
(
instance
?SALE
Selling
)
(
patient
?SALE ?OBJ)))))))
Merge.kif 13123-13128
Entit�Concreta
è un'
istanza
di
Pubblicit�
Entit�
Entit�Concreta
include un
riferimento
a
Entit�
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Entit�
(=>
(
instance
?AID
AppleID
)
(
exists
(?E)
(
and
(
instance
?E
EmailAddress
)
(
refers
?AID ?E))))
ComputingBrands.kif 2025-2030
Entit�
è un'
istanza
di
AppleID
Entit�
Entit�
è un'
istanza
di
EmailAddress
Entit�
include un
riferimento
a
Entit�
(=>
(
instance
?ANSWER
Answering
)
(
exists
(?QUESTION)
(
and
(
instance
?QUESTION
Questioning
)
(
refers
?ANSWER ?QUESTION)
(
earlier
(
WhenFn
?QUESTION)
(
WhenFn
?ANSWER)))))
Mid-level-ontology.kif 898-904
Entit�Concreta
è un'
istanza
di
Answering
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Domandare
Entit�Concreta
include un
riferimento
a
Entit�Concreta
il
tempo
di esistenza di
Entit�Concreta
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
instance
?B
Biography
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
refers
?B ?H))))
Mid-level-ontology.kif 14897-14902
Entit�
è un'
istanza
di
Biography
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
include un
riferimento
a
Entit�
(=>
(
instance
?C
CalendarText
)
(
exists
(?D)
(
and
(
instance
?D
Day
)
(
refers
?C ?D))))
ComputingBrands.kif 2295-2300
Entit�
è un'
istanza
di
CalendarText
Entit�
Entit�
è un'
istanza
di
Giorno
Entit�
include un
riferimento
a
Entit�
(=>
(
instance
?C
Congratulating
)
(
exists
(?P ?A ?D)
(
and
(
destination
?C ?D)
(
agent
?P ?D)
(
agent
?C ?A)
(
wants
?A ?P)
(
refers
?C ?P))))
Mid-level-ontology.kif 12994-13002
Processo
è un'
istanza
di
Congratulating
Processo
AgenteCognitivo
and
AutonomousAgent
Processo
fine
s in
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AgenteCognitivo
AgenteCognitivo
vuole
s
Processo
Processo
include un
riferimento
a
Processo
(=>
(
instance
?C
Correcting
)
(
exists
(?D ?S ?SP ?CP)
(
and
(
instance
?D
Disagreeing
)
(
subProcess
?C ?D)
(
instance
?S
Stating
)
(
subProcess
?S ?D)
(
containsInformation
?S ?SP)
(
containsInformation
?C ?CP)
(
refers
?CP ?SP)
(
not
(
consistent
?CP ?SP)))))
Mid-level-ontology.kif 29679-29691
Processo
è un'
istanza
di
Correcting
Processo
Processo
,
Processo
P and
Processo
P
Processo
è un'
istanza
di
Disagreeing
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
Affermare
Processo
è un
sottoprocesso
di
Processo
Processo
contiene
s informazione
Processo
P
Processo
contiene
s informazione
Processo
P
Processo
P include un
riferimento
a
Processo
P
consistent
Processo
P and
Processo
P
(=>
(
instance
?C
HolidayCard
)
(
exists
(?H)
(
and
(
instance
?H
Holiday
)
(
refers
?C ?H))))
Mid-level-ontology.kif 14874-14879
Entit�
è un'
istanza
di
HolidayCard
Entit�
Entit�
è un'
istanza
di
Holiday
Entit�
include un
riferimento
a
Entit�
(=>
(
instance
?CALL
GameCall
)
(
exists
(?GAME)
(
and
(
instance
?GAME
Game
)
(
refers
?CALL ?GAME))))
Mid-level-ontology.kif 16280-16285
Entit�
è un'
istanza
di
GameCall
Entit�
Entit�
è un'
istanza
di
Gioco
Entit�
include un
riferimento
a
Entit�
(=>
(
instance
?CD
ComputerDesktopImage
)
(
hasPurpose
?CD
(
and
(
refers
?CD ?F)
(
or
(
instance
?F
DigitalData
)
(
instance
?F
ComputerProgram
)))))
ComputingBrands.kif 3167-3174
Entit�Concreta
è un'
istanza
di
ComputerDesktopImage
Entit�Concreta
ha
scopo
Entit�Concreta
include un
riferimento
a
Entit�
Entit�
è un'
istanza
di
DigitalData
Entit�
è un'
istanza
di
ProgrammaDiComputer
(=>
(
instance
?CHART
Chart
)
(
exists
(?QUANTITY)
(
and
(
instance
?QUANTITY
PhysicalQuantity
)
(
refers
?CHART ?QUANTITY))))
Mid-level-ontology.kif 13243-13248
Entit�
è un'
istanza
di
Chart
Entit�
Entit�
è un'
istanza
di
Quantit�Fisica
Entit�
include un
riferimento
a
Entit�
(=>
(
instance
?COMMENT
DigitalComment
)
(
exists
(?POST)
(
and
(
instance
?POST
DigitalPost
)
(
refers
?COMMENT ?POST))))
ComputerInput.kif 2864-2869
Entit�
è un'
istanza
di
DigitalComment
Entit�
Entit�
è un'
istanza
di
DigitalPost
Entit�
include un
riferimento
a
Entit�
(=>
(
instance
?COMMUNICATE
Communication
)
(
exists
(?PHYS ?ENTITY ?AGENT1 ?AGENT2)
(
and
(
refers
?PHYS ?ENTITY)
(
patient
?COMMUNICATE ?PHYS)
(
instance
?AGENT1
CognitiveAgent
)
(
agent
?COMMUNICATE ?AGENT1)
(
instance
?AGENT2
CognitiveAgent
)
(
destination
?COMMUNICATE ?AGENT2))))
Merge.kif 13067-13076
Processo
è un'
istanza
di
Comunicazione
Entit�
Entit�
,
AutonomousAgent
and
Entit�
Entit�
include un
riferimento
a
Entit�
Entit�
è un
paziente
di
Processo
AutonomousAgent
è un'
istanza
di
AgenteCognitivo
Processo
è un
agente
di
AutonomousAgent
Entit�
è un'
istanza
di
AgenteCognitivo
Processo
fine
s in
Entit�
(=>
(
instance
?DECISION
LegalDecision
)
(
exists
(?ACTION)
(
and
(
instance
?ACTION
LegalAction
)
(
refers
?DECISION ?ACTION))))
Merge.kif 10816-10821
Entit�
è un'
istanza
di
LegalDecision
Entit�
Entit�
è un'
istanza
di
AzioneLegale
Entit�
include un
riferimento
a
Entit�
(=>
(
instance
?DESCRIPTIONPAGE
ProductDescriptionPage
)
(
exists
(?PRODUCT ?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)
(
and
(
instance
?PRODUCT
Class
)
(
instance
?STATING
Stating
)
(
patient
?STATING ?DESCRIPTION)
(
refers
?DESCRIPTION ?PRODUCT)
(
result
?DESCRIPTION ?DESCRIPTIONCONTENT)
(
part
?DESCRIPTIONCONTENT ?DESCRIPTIONPAGE))))
UXExperimentalTerms.kif 2043-2052
Oggetto
è un'
istanza
di
ProductDescriptionPage
Entit�
Processo
,
Processo
and
Processo
CONTENT
Entit�
è un'
istanza
di
Classe
Processo
è un'
istanza
di
Affermare
Processo
è un
paziente
di
Processo
Processo
include un
riferimento
a
Entit�
Processo
CONTENT è un
risultato
di
Processo
Processo
CONTENT è una
parte
di
Oggetto
(=>
(
instance
?F
Funeral
)
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
refers
?F ?D))))
Mid-level-ontology.kif 16006-16011
Entit�
è un'
istanza
di
Funeral
Entit�
Entit�
è un'
istanza
di
Morte
Entit�
include un
riferimento
a
Entit�
(=>
(
instance
?F
NationalFlag
)
(
exists
(?N)
(
and
(
instance
?N
Nation
)
(
refers
?F ?N))))
Mid-level-ontology.kif 13265-13270
Entit�
è un'
istanza
di
NationalFlag
Entit�
Entit�
è un'
istanza
di
Nazione
Entit�
include un
riferimento
a
Entit�
(=>
(
instance
?G
Chart
)
(
exists
(?Q)
(
and
(
instance
?Q
PhysicalQuantity
)
(
refers
?G ?Q))))
Mid-level-ontology.kif 13272-13277
Entit�
è un'
istanza
di
Chart
Entit�
Entit�
è un'
istanza
di
Quantit�Fisica
Entit�
include un
riferimento
a
Entit�
(=>
(
instance
?HL
HypertextLink
)
(
refers
?HL
DigitalData
))
UXExperimentalTerms.kif 3312-3314
Entit�
è un'
istanza
di
HypertextLink
Entit�
include un
riferimento
a
DigitalData
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