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
O argumento numero 1 de
represents
e' uma
instancia
de
Entidade
(
domain
represents
2
Entity
)
Merge.kif 4453-4453
O argumento numero 2 de
represents
e' uma
instancia
de
Entidade
(
instance
represents
BinaryPredicate
)
Merge.kif 4451-4451
represents
e' uma
instancia
de
Predicado Binario
(
subrelation
represents
refers
)
Merge.kif 4450-4450
represents
e' uma
sub
-relacao de
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
e' uma
sub
-relacao de
represents
(
subrelation
anthem
represents
)
Music.kif 349-349
anthem
e' uma
sub
-relacao de
represents
(
subrelation
cardCode
represents
)
FinancialOntology.kif 3498-3498
cardCode
e' uma
sub
-relacao de
represents
(
subrelation
conforms
represents
)
Mid-level-ontology.kif 26923-26923
conforms
e' uma
sub
-relacao de
represents
(
subrelation
containsInformation
represents
)
Merge.kif 1356-1356
containsInformation
e' uma
sub
-relacao de
represents
(
subrelation
hardwareType
represents
)
QoSontology.kif 1020-1020
hardwareType
e' uma
sub
-relacao de
represents
(
subrelation
implementsProtocol
represents
)
ComputingBrands.kif 4050-4050
implementsProtocol
e' uma
sub
-relacao de
represents
(
subrelation
pin
represents
)
FinancialOntology.kif 3537-3537
pin
e' uma
sub
-relacao de
represents
(
subrelation
productBrand
represents
)
Hotel.kif 1301-1301
productBrand
e' uma
sub
-relacao de
represents
(
subrelation
productModel
represents
)
QoSontology.kif 14-14
productModel
e' uma
sub
-relacao de
represents
(
subrelation
realization
represents
)
Merge.kif 4595-4595
realization
e' uma
sub
-relacao de
represents
(
subrelation
record
represents
)
Mid-level-ontology.kif 14322-14322
record
e' uma
sub
-relacao de
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
Entidade
e' uma
instancia
de
InternationalAgreement
Processo
e' uma
instancia
de
Comprometer-se
Processo
define
Entidade
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Nacao
(=>
(
and
(
instance
?LOGO
Logo
)
(
represents
?LOGO ?OBJ))
(
or
(
instance
?OBJ
AutonomousAgent
)
(
instance
?OBJ
Product
)))
Media.kif 895-901
Entidade
e' uma
instancia
de
Logo
Entidade
define
Entidade
Entidade
e' uma
instancia
de
AutonomousAgent
Entidade
e' uma
instancia
de
Produto
(=>
(
and
(
instance
?OPLAN
OPLAN
)
(
represents
?OPLAN ?OP)
(
instance
?OP
MilitaryOperation
)
(
subProcess
?OPSUB ?OP))
(
represents
?OPLAN ?OPSUB))
MilitaryProcesses.kif 1794-1800
Entidade
e' uma
instancia
de
OPLAN
Entidade
define
Processo
Processo
e' uma
instancia
de
MilitaryOperation
Processo
SUB e' um
sub
-processo de
Processo
Entidade
define
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
Proposicao
e' uma
instancia
de
Plano
Fisico
e' uma
instancia
de
Processo
Proposicao
define
Fisico
Proposicao
NING
ContentBearingPhysical
Proposicao
NING e' uma
instancia
de
Planejar
ContentBearingPhysical
e' uma
instancia
de
ContentBearingPhysical
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
e' o
resultado
de
Proposicao
NING o
comeco
de
tempo
de existencia de
Proposicao
NING acontence
antes
de o
comeco
de
tempo
de existencia de
Fisico
o
fim
de
tempo
de existencia de
Proposicao
NING acontence
antes
de o
fim
de
tempo
de existencia de
Fisico
(=>
(
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
Entidade
e' uma
instancia
de
SearchQuery
Processo
e' uma
instancia
de
SearchAttempt
Entidade
define
Processo
AutonomousAgent
Entidade
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
consequent
(=>
(
albumCoverImage
?A ?I)
(
represents
?I ?A))
Music.kif 312-314
albumCoverImage
Album
and
Image
Image
define
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
Numero Real
Experimenting
e' uma
instancia
de
Experimenting
Formula
e' uma
instancia
de
Formula
Formula
e' um
patient
de
Experimenting
Numero Real
define
a
probabilidade
de
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
termina
em
Objeto
Processo
e' uma
instancia
de
Messaging
Entidade
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Telex
Processo
Entidade
Objeto
e' um
instrumento
para
Processo
Entidade
e' o
resultado
de
Processo
Entidade
define
Entidade
Entidade
e' uma
instancia
de
Texto
o
comeco
de
tempo
de existencia de
Processo
comeca
antes
de o
comeco
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?CM
AirlineCodeMap
)
(
codeMapping
?CM ?STR ?AIR))
(
and
(
instance
?AIR
Airline
)
(
represents
?STR ?AIR)))
Transportation.kif 3135-3141
CodeMap
e' uma
instancia
de
AirlineCodeMap
codeMapping
CodeMap
,
Sequencia Simbolica
and
Entidade
Entidade
e' uma
instancia
de
Airline
Sequencia Simbolica
define
Entidade
(=>
(
and
(
instance
?EXPRESS
Expressing
)
(
agent
?EXPRESS ?AGENT))
(
exists
(?STATE)
(
and
(
instance
?STATE
StateOfMind
)
(
attribute
?AGENT ?STATE)
(
represents
?EXPRESS ?STATE))))
Merge.kif 13116-13124
Processo
e' uma
instancia
de
Exprimir
Processo
e' um
agente
de
AutonomousAgent
Atributo
Atributo
e' uma
instancia
de
Estado de Espirito
Atributo
e' um
atributo
de
AutonomousAgent
Processo
define
Atributo
(=>
(
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
Objeto
e' uma
instancia
de
DigitalDataStorageDevice
Sequencia Simbolica
e' uma &parte de
Objeto
Sequencia Simbolica
e' uma
instancia
de
DigitalData
CodeMap
Lista
and
Entidade
codeMapping
CodeMap
,
Sequencia Simbolica
and
Entidade
Lista
define
CodeMap
Entidade
e' um
membro
de
Lista
Entidade
e' uma
instancia
de
Numero Binario
(=>
(
and
(
instance
?OPLAN
OPLAN
)
(
represents
?OPLAN ?OP)
(
instance
?OP
MilitaryOperation
)
(
subProcess
?OPSUB ?OP))
(
represents
?OPLAN ?OPSUB))
MilitaryProcesses.kif 1794-1800
Entidade
e' uma
instancia
de
OPLAN
Entidade
define
Processo
Processo
e' uma
instancia
de
MilitaryOperation
Processo
SUB e' um
sub
-processo de
Processo
Entidade
define
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
Proposicao
e' uma
instancia
de
OperationPlan
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
contem
informacao
Proposicao
Processo
e' uma
instancia
de
MilitaryOperation
ContentBearingPhysical
e' o
resultado
de
Processo
Proposicao
define
Processo
(=>
(
and
(
instance
?PROP
Proposition
)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?PROP)
(
instance
?COMM
Communication
)
(
patient
?COMM ?CBO))
(
represents
?COMM ?PROP))
Geography.kif 3025-3032
Proposicao
e' uma
instancia
de
Proposicao
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
contem
informacao
Proposicao
Processo
e' uma
instancia
de
Communicacao
ContentBearingPhysical
e' um
patient
de
Processo
Processo
define
Proposicao
(=>
(
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
e' uma
instancia
de
BirthCertificate
Processo
e' uma
instancia
de
Nascimento
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
experimenta
Processo
containsFormula
ContentBearingPhysical
and
Entidade
Entidade
and
Entidade
birthdate
AutonomousAgent
and
Entidade
Entidade
e' uma
instancia
de
Dia
birthplace
AutonomousAgent
and
Entidade
Entidade
e' uma
instancia
de
Area Geografica
Entidade
define
AutonomousAgent
Entidade
e' uma
instancia
de
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
e' uma
instancia
de
DeathCertificate
Processo
e' uma
instancia
de
Morte
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
experimenta
Processo
containsFormula
ContentBearingPhysical
and
Processo
AY
Entidade
,
Entidade
and
Entidade
ROC
deathdate
AutonomousAgent
and
Processo
AY
Processo
AY e' uma
instancia
de
Dia
deathplace
AutonomousAgent
and
Entidade
Entidade
e' uma
instancia
de
Area Geografica
Entidade
define
AutonomousAgent
Entidade
e' uma
instancia
de
Name
Entidade
ROC
causa
Processo
Entidade
ROC e' uma
instancia
de
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 26973-26999
Fisico
e' uma
instancia
de
SurveillanceSystem
Fisico
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
Colecao
e'
situado
em
Objeto
Colecao
e' uma
instancia
de
Camera
Colecao
e'
situado
em
Objeto
Objeto
e'
igual
a
Objeto
Colecao
e' uma
instancia
de
VideoDisplay
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
eventLocated
Entidade
and
Objeto
Entidade
define
Entidade
Camera
e' um
instrumento
para
Entidade
Entidade
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Luz Irradiante
Colecao
e' um
instrumento
para
Entidade
Entidade
e' um
patient
de
Entidade
o
comeco
de
Entidade
comeca
antes
de o
comeco
de
Entidade
o
comeco
de
Entidade
comeca
antes
de o
comeco
de
Entidade
(=>
(
and
(
pValue
?EXPERIMENT ?VALUE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA))
(
represents
?VALUE
(
ProbabilityFn
?FORMULA)))
UXExperimentalTerms.kif 569-575
pValue
Experimenting
and
Numero Real
Experimenting
e' uma
instancia
de
Experimenting
Formula
e' uma
instancia
de
Formula
Formula
e' um
patient
de
Experimenting
Numero Real
define
a
probabilidade
de
Formula
(=>
(
and
(
userIDString
?STRING ?ACCOUNT)
(
hasAccount
?USER ?ACCOUNT))
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 1099-1103
userIDString
Identifier
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
Identifier
define
AutonomousAgent
(=>
(
attribute
?ROOM
ThemeRoom
)
(
exists
(?DESIGN ?PROP)
(
and
(
instance
?DESIGN
Designing
)
(
result
?DESIGN ?PROP)
(
represents
?ROOM ?PROP))))
Hotel.kif 1088-1094
ThemeRoom
e' um
atributo
de
Objeto
Processo
Entidade
Processo
e' uma
instancia
de
Designing
Entidade
e' o
resultado
de
Processo
Objeto
define
Entidade
(=>
(
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
AeronauticalEngineer
e' um
atributo
de
AutonomousAgent
Processo
AutonomousAgent
tem a
capacidade
de fazer
Processo
Processo
Processo
e' uma
instancia
de
Processo
Processo
Entidade
and
Processo
T
Processo
e' uma
instancia
de
Fazer
Entidade
e' uma
instancia
de
Aircraft
Entidade
e' uma
instancia
de
Processo
T
typicalPart
Processo
T and
Aircraft
Entidade
e' o
resultado
de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
Processo
LAN,
Entidade
and
Processo
T
Processo
e' uma
instancia
de
Designing
Entidade
e' uma
instancia
de
Aircraft
Entidade
e' uma
instancia
de
Processo
T
typicalPart
Processo
T and
Aircraft
Processo
LAN e' o
resultado
de
Processo
Processo
LAN
define
Entidade
Processo
e' um
sub
-processo de
Processo
(=>
(
brandIcon
?BRAND ?ICON)
(
exists
(?AGENT)
(
and
(
managedBy
?BRAND ?AGENT)
(
managedBy
?ICON ?AGENT)
(
represents
?ICON ?BRAND))))
Hotel.kif 1319-1325
brandIcon
Brand
and
Icone
AutonomousAgent
managedBy
Brand
and
AutonomousAgent
managedBy
Icone
and
AutonomousAgent
Icone
define
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
Sequencia Simbolica
Processo
,
AutonomousAgent
and
ComputerProcess
Sequencia Simbolica
e' uma
instancia
de
WebPage
subString
Sequencia Simbolica
and
WebSite
Processo
e' uma
instancia
de
AccessingWebPage
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
programRunning
ComputerProcess
and
WebBrowser
ComputerProcess
causa
Processo
Processo
termina
em
Sequencia Simbolica
Identifier
define
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
Regiao
,
Proposicao
and
Numero Inteiro
Regiao
define
Proposicao
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
memberCount
Entidade
and
Entidade
Entidade
e'
menor
ou igual a
Numero Inteiro
Entidade
e'
situado
em
Regiao
tem a
forca
modal
de
Possibility
(=>
(
categoryID
?STRING ?CAT)
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 171-173
categoryID
Identifier
and
WebListingCategory
Identifier
define
Entidade
(=>
(
codeMapping
?MAP ?TOKEN ?X)
(
represents
?TOKEN ?X))
Media.kif 2272-2274
codeMapping
CodeMap
,
Sequencia Simbolica
and
Entidade
Sequencia Simbolica
define
Entidade
(=>
(
contestParticipantRepresentation
?CONT ?AGENT ?OBJ)
(
holdsDuring
(
WhenFn
?CONT)
(
represents
?AGENT ?OBJ)))
Music.kif 1109-1113
contestParticipantRepresentation
Contest
,
Agente Cognitivo
and
Objeto
Agente Cognitivo
define
Objeto
vale
durante
tempo
de existencia de
Contest
(=>
(
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
Acao Legal
and
Fisico
Argument
Fisico
ROP
Fisico
ROP e' uma
instancia
de
Proposicao
Argument
e' uma
instancia
de
Argument
Argument
inclui uma
referencia
a
Acao Legal
Fisico
ROP
define
Fisico
premise
Argument
and
Fisico
ROP
(=>
(
experimentID
?STRING ?EXP)
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 4024-4026
experimentID
Identifier
and
Experimenting
Identifier
define
Entidade
(=>
(
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 21183-21192
hasExpertise
Humano
and
Architecture
Processo
Entidade
and
Entidade
Processo
e' uma
instancia
de
Desenvolvimento de Conteudo
Processo
e' um
agente
de
Humano
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Blueprint
Entidade
define
Entidade
Entidade
e' uma
instancia
de
Predio
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
define
Dissipator
(
represents
ResistorElement
ElectricalTwopole
)
engineering.kif 851-851
ResistorElement
define
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