Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
represents
Sigma KEE - represents
represents
appearance as argument number 1
(
documentation
represents
ChineseLanguage
"这是一个十分概括的符号
Predicate
, (
represents
?THING ?ENTITY) 的意思是 ?THING 在某些方面表示、表意味、 想象和形容 ?ENTITY等等。
Predicate
containsInformation
和
realization
是
represents
的子关系。注:
represents
是
refers
的子关系,因为只有当一样东西在引用另一样东西时,才能描述这件东西。可参考
names
的文档字符串。")
chinese_format.kif 2164-2168
(
documentation
represents
EnglishLanguage
"A very general semiotics
Predicate
. (
represents
?THING ?ENTITY) means that ?THING in some way indicates, expresses, connotes, pictures, describes, etc. ?ENTITY. The
Predicate
s
containsInformation
and
realization
are subrelations of
represents
. Note that
represents
is a subrelation of
refers
, since something can represent something else only if it refers to this other thing. See the documentation string for
names
.")
Merge.kif 4455-4461
(
documentation
represents
JapaneseLanguage
"非常に一般的な記号論
Predicate
。 (
represents
?THING ?ENTITY) とは、?THING が何らかの方法で?ENTITYに対して示し、表現、意味、 描写、記述などすることを意味する。
Predicate
s
containsInformation
と
realization
は
represents
の サブリファリレーションである。 注:
represents
は、
refers
の サブリレー ションである。それがこの他のものを参照している場合にのみ何かが他のものを表すことができるのからであ る。
names
のドキュメント文字列を参照。")
japanese_format.kif 823-828
(
domain
represents
1
Entity
)
Merge.kif 4452-4452
Il numero 1 argomenti di
represents
è un
istanza
di
Entit�
(
domain
represents
2
Entity
)
Merge.kif 4453-4453
Il numero 2 argomenti di
represents
è un
istanza
di
Entit�
(
instance
represents
BinaryPredicate
)
Merge.kif 4451-4451
represents
è un'
istanza
di
PredicatoBinario
(
subrelation
represents
refers
)
Merge.kif 4450-4450
represents
è una
sottorelazione
di
refers
appearance as argument number 2
(
format
ChineseLanguage
represents
"%1 %n{doesn't} 表达 %2")
chinese_format.kif 227-227
(
format
EnglishLanguage
represents
"%1 %n{doesn't} express%p{es} %2")
english_format.kif 228-228
(
format
FrenchLanguage
represents
"%1 %n{ne} d�finie %n{pas} %2")
french_format.kif 133-133
(
format
ItalianLanguage
represents
"%1 esprime %2")
relations-it.txt 253-253
(
format
JapaneseLanguage
represents
"%1 は %2 を express%p{es} %n{ない}")
japanese_format.kif 1962-1962
(
format
PortugueseLanguage
represents
"%1 %n{nao}
de
fine %n %2")
portuguese_format.kif 85-85
(
format
de
represents
"%1 drueckt %2 aus")
relations-de.txt 296-296
(
format
hi
represents
"%1 %2 ko abhivyakta karataa hai")
relations-hindi.txt 290-290
(
format
ro
represents
"%1 %n{nu} express%t{reprezinã} %2")
relations-ro.kif 152-152
(
format
sv
represents
"%1 uttrycker %n{inte} %2")
relations-sv.txt 138-138
(
format
tg
represents
"%1 ay nagtatanto %2")
relations-tg.txt 445-445
(
subrelation
abstractCounterpart
represents
)
Merge.kif 6113-6113
abstractCounterpart
è una
sottorelazione
di
represents
(
subrelation
anthem
represents
)
Music.kif 349-349
anthem
è una
sottorelazione
di
represents
(
subrelation
cardCode
represents
)
FinancialOntology.kif 3498-3498
cardCode
è una
sottorelazione
di
represents
(
subrelation
conforms
represents
)
Mid-level-ontology.kif 26911-26911
conforms
è una
sottorelazione
di
represents
(
subrelation
containsInformation
represents
)
Merge.kif 1356-1356
containsInformation
è una
sottorelazione
di
represents
(
subrelation
hardwareType
represents
)
QoSontology.kif 1020-1020
hardwareType
è una
sottorelazione
di
represents
(
subrelation
implementsProtocol
represents
)
ComputingBrands.kif 4050-4050
implementsProtocol
è una
sottorelazione
di
represents
(
subrelation
pin
represents
)
FinancialOntology.kif 3537-3537
pin
è una
sottorelazione
di
represents
(
subrelation
productBrand
represents
)
Hotel.kif 1301-1301
productBrand
è una
sottorelazione
di
represents
(
subrelation
productModel
represents
)
QoSontology.kif 14-14
productModel
è una
sottorelazione
di
represents
(
subrelation
realization
represents
)
Merge.kif 4595-4595
realization
è una
sottorelazione
di
represents
(
subrelation
record
represents
)
Mid-level-ontology.kif 14321-14321
record
è una
sottorelazione
di
represents
(
termFormat
ChineseLanguage
represents
"代表")
domainEnglishFormat.kif 49532-49532
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
(=>
(
and
(
instance
?AGREEMENT
InternationalAgreement
)
(
instance
?COMMITTING
Committing
)
(
represents
?COMMITTING ?AGREEMENT))
(
exists
(?AGENT)
(
and
(
agent
?COMMITTING ?AGENT)
(
instance
?AGENT
Nation
))))
Geography.kif 3001-3009
Entit�
è un'
istanza
di
InternationalAgreement
Processo
è un'
istanza
di
Impegnarsi
Processo
esprime
Entit�
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Nazione
(=>
(
and
(
instance
?LOGO
Logo
)
(
represents
?LOGO ?OBJ))
(
or
(
instance
?OBJ
AutonomousAgent
)
(
instance
?OBJ
Product
)))
Media.kif 895-901
Entit�
è un'
istanza
di
Logo
Entit�
esprime
Entit�
Entit�
è un'
istanza
di
AutonomousAgent
Entit�
è un'
istanza
di
Prodotto
(=>
(
and
(
instance
?OPLAN
OPLAN
)
(
represents
?OPLAN ?OP)
(
instance
?OP
MilitaryOperation
)
(
subProcess
?OPSUB ?OP))
(
represents
?OPLAN ?OPSUB))
MilitaryProcesses.kif 1794-1800
Entit�
è un'
istanza
di
OPLAN
Entit�
esprime
Processo
Processo
è un'
istanza
di
MilitaryOperation
Processo
SUB è un
sottoprocesso
di
Processo
Entit�
esprime
Processo
SUB
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC))
(
exists
(?PLANNING ?CBO)
(
and
(
instance
?PLANNING
Planning
)
(
instance
?CBO
ContentBearingPhysical
)
(
containsInformation
?CBO ?PLAN)
(
result
?PLANNING ?CBO)
(
earlier
(
BeginFn
(
WhenFn
?PLANNING))
(
BeginFn
(
WhenFn
?PROC)))
(
earlier
(
EndFn
(
WhenFn
?PLANNING))
(
EndFn
(
WhenFn
?PROC))))))
Military.kif 32-44
Proposizione
è un'
istanza
di
Programma
Entit�Concreta
è un'
istanza
di
Processo
Proposizione
esprime
Entit�Concreta
Proposizione
NING
ContentBearingPhysical
Proposizione
NING è un'
istanza
di
Pianificazione
ContentBearingPhysical
è un'
istanza
di
ContentBearingPhysical
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
è un
risultato
di
Proposizione
NING l'
inizio
di il
tempo
di esistenza di
Proposizione
NING accades
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
la
fine
di il
tempo
di esistenza di
Proposizione
NING accades
prima
di la
fine
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
instance
?QUERY
SearchQuery
)
(
instance
?SEARCHATTEMPT
SearchAttempt
)
(
represents
?QUERY ?SEARCHATTEMPT))
(
exists
(?AGENT ?OBJ)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
patient
?SEARCHATTEMPT ?OBJ)
(
agent
?SEARCHATTEMPT ?AGENT))))
UXExperimentalTerms.kif 2426-2435
Entit�
è un'
istanza
di
SearchQuery
Processo
è un'
istanza
di
SearchAttempt
Entit�
esprime
Processo
AutonomousAgent
Entit�
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
consequent
(=>
(
albumCoverImage
?A ?I)
(
represents
?I ?A))
Music.kif 312-314
albumCoverImage
Album
and
Image
Image
esprime
Album
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA))
(
represents
?CONFIDENCE
(
ProbabilityFn
?FORMULA)))
UXExperimentalTerms.kif 531-537
confidenceInterval
Experimenting
and
NumeroReale
Experimenting
è un'
istanza
di
Experimenting
Formula
è un'
istanza
di
Formula
Formula
è un
paziente
di
Experimenting
NumeroReale
esprime
la
probabilit
à di
Formula
(=>
(
and
(
destination
?MSG ?TELEX)
(
instance
?MSG
Messaging
)
(
patient
?MSG ?M)
(
instance
?TELEX
Telex
))
(
exists
(?PROC ?TEXT)
(
and
(
instrument
?PROC ?TELEX)
(
result
?PROC ?TEXT)
(
represents
?TEXT ?M)
(
instance
?TEXT
Text
)
(
before
(
BeginFn
(
WhenFn
?MSG))
(
BeginFn
(
WhenFn
?PROC))))))
Communications.kif 202-214
Processo
fine
s in
Oggetto
Processo
è un'
istanza
di
Messaging
Entit�
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Telex
Processo
Entit�
Oggetto
è uno
strumento
per
Processo
Entit�
è un
risultato
di
Processo
Entit�
esprime
Entit�
Entit�
è un'
istanza
di
Testo
l'
inizio
di il
tempo
di esistenza di
Processo
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?CM
AirlineCodeMap
)
(
codeMapping
?CM ?STR ?AIR))
(
and
(
instance
?AIR
Airline
)
(
represents
?STR ?AIR)))
Transportation.kif 3135-3141
CodeMap
è un'
istanza
di
AirlineCodeMap
codeMapping
CodeMap
,
Stringa
and
Entit�
Entit�
è un'
istanza
di
Airline
Stringa
esprime
Entit�
(=>
(
and
(
instance
?EXPRESS
Expressing
)
(
agent
?EXPRESS ?AGENT))
(
exists
(?STATE)
(
and
(
instance
?STATE
StateOfMind
)
(
attribute
?AGENT ?STATE)
(
represents
?EXPRESS ?STATE))))
Merge.kif 13138-13146
Processo
è un'
istanza
di
Esprimere
Processo
è un
agente
di
AutonomousAgent
Attributo
Attributo
è un'
istanza
di
StatoMentale
attribute
AutonomousAgent
and
Attributo
Processo
esprime
Attributo
(=>
(
and
(
instance
?OBJ
DigitalDataStorageDevice
)
(
part
?PART ?OBJ)
(
instance
?PART
DigitalData
))
(
exists
(?SCHEME ?LIST ?NUM)
(
and
(
codeMapping
?SCHEME ?PART ?NUM)
(
represents
?LIST ?SCHEME)
(=>
(
inList
?NUM ?LIST)
(
instance
?NUM
BinaryNumber
)))))
Media.kif 801-812
Oggetto
è un'
istanza
di
DigitalDataStorageDevice
Stringa
è una
parte
di
Oggetto
Stringa
è un'
istanza
di
DigitalData
CodeMap
Lista
and
Entit�
codeMapping
CodeMap
,
Stringa
and
Entit�
Lista
esprime
CodeMap
Entit�
è un
Lista
Entit�
è un'
istanza
di
NumeroBinario
(=>
(
and
(
instance
?OPLAN
OPLAN
)
(
represents
?OPLAN ?OP)
(
instance
?OP
MilitaryOperation
)
(
subProcess
?OPSUB ?OP))
(
represents
?OPLAN ?OPSUB))
MilitaryProcesses.kif 1794-1800
Entit�
è un'
istanza
di
OPLAN
Entit�
esprime
Processo
Processo
è un'
istanza
di
MilitaryOperation
Processo
SUB è un
sottoprocesso
di
Processo
Entit�
esprime
Processo
SUB
(=>
(
and
(
instance
?PLAN
OperationPlan
)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?PLAN)
(
instance
?OP
MilitaryOperation
)
(
result
?OP ?CBO))
(
represents
?PLAN ?OP))
MilitaryProcesses.kif 1573-1580
Proposizione
è un'
istanza
di
OperationPlan
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
ContentBearingPhysical
contiene
s informazione
Proposizione
Processo
è un'
istanza
di
MilitaryOperation
ContentBearingPhysical
è un
risultato
di
Processo
Proposizione
esprime
Processo
(=>
(
and
(
instance
?PROP
Proposition
)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?PROP)
(
instance
?COMM
Communication
)
(
patient
?COMM ?CBO))
(
represents
?COMM ?PROP))
Geography.kif 3025-3032
Proposizione
è un'
istanza
di
Proposizione
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
ContentBearingPhysical
contiene
s informazione
Proposizione
Processo
è un'
istanza
di
Comunicazione
ContentBearingPhysical
è un
paziente
di
Processo
Processo
esprime
Proposizione
(=>
(
and
(
instance
?TEXT
BirthCertificate
)
(
instance
?B
Birth
)
(
instance
?A
Human
)
(
experiencer
?B ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N)
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
Day
)
(
birthplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)))))
Biography.kif 250-264
ContentBearingPhysical
è un'
istanza
di
BirthCertificate
Processo
è un'
istanza
di
Nascita
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
esperisce
s
Processo
containsFormula
ContentBearingPhysical
and
Entit�
Entit�
and
Entit�
birthdate
AutonomousAgent
and
Entit�
Entit�
è un'
istanza
di
Giorno
birthplace
AutonomousAgent
and
Entit�
Entit�
è un'
istanza
di
AreaGeografica
Entit�
esprime
AutonomousAgent
Entit�
è un'
istanza
di
Name
(=>
(
and
(
instance
?TEXT
DeathCertificate
)
(
instance
?D
Death
)
(
instance
?A
Human
)
(
experiencer
?D ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N ?PROC)
(
and
(
deathdate
?A ?DAY)
(
instance
?DAY
Day
)
(
deathplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)
(
causes
?PROC ?D)
(
instance
?PROC
Process
)))))
Biography.kif 280-296
ContentBearingPhysical
è un'
istanza
di
DeathCertificate
Processo
è un'
istanza
di
Morte
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
esperisce
s
Processo
containsFormula
ContentBearingPhysical
and
Processo
AY
Entit�
,
Entit�
and
Entit�
ROC
deathdate
AutonomousAgent
and
Processo
AY
Processo
AY è un'
istanza
di
Giorno
deathplace
AutonomousAgent
and
Entit�
Entit�
è un'
istanza
di
AreaGeografica
Entit�
esprime
AutonomousAgent
Entit�
è un'
istanza
di
Name
Entit�
ROC
causa
s
Processo
Entit�
ROC è un'
istanza
di
Processo
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26961-26987
Entit�Concreta
è un'
istanza
di
SurveillanceSystem
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un
membro
di
InsiemeConcreto
InsiemeConcreto
è
localizzato
in
Oggetto
InsiemeConcreto
è un'
istanza
di
Camera
InsiemeConcreto
è
localizzato
in
Oggetto
Oggetto
is
uguale
a
Oggetto
InsiemeConcreto
è un'
istanza
di
VideoDisplay
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
eventLocated
Entit�
and
Oggetto
Entit�
esprime
Entit�
Camera
è uno
strumento
per
Entit�
Entit�
è un
risultato
di
Entit�
Entit�
è un'
istanza
di
RadiazioneLuminosa
InsiemeConcreto
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
l'
inizio
di
Entit�
succede%{s}
prima
di l'
inizio
di
Entit�
l'
inizio
di
Entit�
succede%{s}
prima
di l'
inizio
di
Entit�
(=>
(
and
(
pValue
?EXPERIMENT ?VALUE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA))
(
represents
?VALUE
(
ProbabilityFn
?FORMULA)))
UXExperimentalTerms.kif 569-575
pValue
Experimenting
and
NumeroReale
Experimenting
è un'
istanza
di
Experimenting
Formula
è un'
istanza
di
Formula
Formula
è un
paziente
di
Experimenting
NumeroReale
esprime
la
probabilit
à di
Formula
(=>
(
and
(
userIDString
?STRING ?ACCOUNT)
(
hasAccount
?USER ?ACCOUNT))
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 1099-1103
userIDString
Identifier
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
Identifier
esprime
AutonomousAgent
(=>
(
attribute
?ROOM
ThemeRoom
)
(
exists
(?DESIGN ?PROP)
(
and
(
instance
?DESIGN
Designing
)
(
result
?DESIGN ?PROP)
(
represents
?ROOM ?PROP))))
Hotel.kif 1088-1094
attribute
Oggetto
and
ThemeRoom
Processo
Entit�
Processo
è un'
istanza
di
Designing
Entit�
è un
risultato
di
Processo
Oggetto
esprime
Entit�
(=>
(
attribute
?X
AeronauticalEngineer
)
(
exists
(?SKILL)
(
and
(
hasSkill
?SKILL ?X)
(
forall
(?P)
(=>
(
instance
?P ?SKILL)
(
or
(
exists
(?CONS ?OBJ ?PT)
(
and
(
instance
?CONS
Making
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?CONS ?OBJ)
(
subProcess
?P ?CONS)))
(
exists
(?DESIGN ?PLAN ?OBJ ?PT)
(
and
(
instance
?DESIGN
Designing
)
(
or
(
instance
?OBJ
Aircraft
)
(
and
(
instance
?OBJ ?PT)
(
typicalPart
?PT
Aircraft
)))
(
result
?DESIGN ?PLAN)
(
represents
?PLAN ?OBJ)
(
subProcess
?P ?DESIGN)))))))))
Biography.kif 436-465
attribute
AutonomousAgent
and
AeronauticalEngineer
Processo
AutonomousAgent
ha &n
la
capacità di fare
Processo
Processo
Processo
è un'
istanza
di
Processo
Processo
Entit�
and
Processo
T
Processo
è un'
istanza
di
Fabbricazione
Entit�
è un'
istanza
di
Aircraft
Entit�
è un'
istanza
di
Processo
T
typicalPart
Processo
T and
Aircraft
Entit�
è un
risultato
di
Processo
Processo
è un
sottoprocesso
di
Processo
Processo
Processo
LAN,
Entit�
and
Processo
T
Processo
è un'
istanza
di
Designing
Entit�
è un'
istanza
di
Aircraft
Entit�
è un'
istanza
di
Processo
T
typicalPart
Processo
T and
Aircraft
Processo
LAN è un
risultato
di
Processo
Processo
LAN
esprime
Entit�
Processo
è un
sottoprocesso
di
Processo
(=>
(
brandIcon
?BRAND ?ICON)
(
exists
(?AGENT)
(
and
(
managedBy
?BRAND ?AGENT)
(
managedBy
?ICON ?AGENT)
(
represents
?ICON ?BRAND))))
Hotel.kif 1319-1325
brandIcon
Brand
and
Icona
AutonomousAgent
managedBy
Brand
and
AutonomousAgent
managedBy
Icona
and
AutonomousAgent
Icona
esprime
Brand
(=>
(
browserID
?STRING ?BROWSER ?SITE)
(
exists
(?WEBPAGE ?ACCESSING ?AGENT ?BPROC)
(
and
(
instance
?WEBPAGE
WebPage
)
(
subString
?WEBPAGE ?SITE)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?ACCESSING ?AGENT)
(
programRunning
?BPROC ?BROWSER)
(
causes
?BPROC ?ACCESSING)
(
destination
?ACCESSING ?WEBPAGE)
(
represents
?STRING ?AGENT))))
UXExperimentalTerms.kif 736-748
browserID
Identifier
,
WebBrowser
and
WebSite
Stringa
Processo
,
AutonomousAgent
and
ComputerProcess
Stringa
è un'
istanza
di
WebPage
subString
Stringa
and
WebSite
Processo
è un'
istanza
di
AccessingWebPage
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
programRunning
ComputerProcess
and
WebBrowser
ComputerProcess
causa
s
Processo
Processo
fine
s in
Stringa
Identifier
esprime
AutonomousAgent
(=>
(
capacityByArrangement
?AREA ?PROP ?INT)
(=>
(
represents
?AREA ?PROP)
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?INT)
(
located
?GRP ?AREA)))
Possibility
)))
Hotel.kif 790-800
capacityByArrangement
Regione
,
Proposizione
and
NumeroIntero
Regione
esprime
Proposizione
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
GroupOfPeople
memberCount
Entit�
and
Entit�
Entit�
è
minore
o uguale a
NumeroIntero
Entit�
è
localizzato
in
Regione
ha il modello di forza di
Possibility
(=>
(
categoryID
?STRING ?CAT)
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 171-173
categoryID
Identifier
and
WebListingCategory
Identifier
esprime
Entit�
(=>
(
codeMapping
?MAP ?TOKEN ?X)
(
represents
?TOKEN ?X))
Media.kif 2272-2274
codeMapping
CodeMap
,
Stringa
and
Entit�
Stringa
esprime
Entit�
(=>
(
contestParticipantRepresentation
?CONT ?AGENT ?OBJ)
(
holdsDuring
(
WhenFn
?CONT)
(
represents
?AGENT ?OBJ)))
Music.kif 1109-1113
contestParticipantRepresentation
Competizione
,
AgenteCognitivo
and
Oggetto
AgenteCognitivo
esprime
Oggetto
vales
durante
il
tempo
di esistenza di
Competizione
(=>
(
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
(=>
(
experimentID
?STRING ?EXP)
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 4024-4026
experimentID
Identifier
and
Experimenting
Identifier
esprime
Entit�
(=>
(
hasExpertise
?H
Architecture
)
(
exists
(?D ?P ?B)
(
and
(
instance
?D
ContentDevelopment
)
(
agent
?D ?H)
(
result
?D ?P)
(
instance
?P
Blueprint
)
(
represents
?P ?B)
(
instance
?B
Building
))))
Mid-level-ontology.kif 21182-21191
hasExpertise
Umano
and
Architecture
Processo
Entit�
and
Entit�
Processo
è un'
istanza
di
SviluppoDelContenuto
Processo
è un
agente
di
Umano
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
Blueprint
Entit�
esprime
Entit�
Entit�
è un'
istanza
di
Costruzione
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
represents
ResistorElement
Dissipator
)
engineering.kif 850-850
ResistorElement
esprime
Dissipator
(
represents
ResistorElement
ElectricalTwopole
)
engineering.kif 851-851
ResistorElement
esprime
ElectricalTwopole
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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