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
The number 1 argument of
represents
is an
instance
of
entity
(
domain
represents
2
Entity
)
Merge.kif 4453-4453
The number 2 argument of
represents
is an
instance
of
entity
(
instance
represents
BinaryPredicate
)
Merge.kif 4451-4451
represents
is an
instance
of
binary predicate
(
subrelation
represents
refers
)
Merge.kif 4450-4450
represents
is a
subrelation
of
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
abstract counterpart
is a
subrelation
of
represents
(
subrelation
anthem
represents
)
Music.kif 349-349
anthem
is a
subrelation
of
represents
(
subrelation
cardCode
represents
)
FinancialOntology.kif 3498-3498
card code
is a
subrelation
of
represents
(
subrelation
conforms
represents
)
Mid-level-ontology.kif 26840-26840
conforms
is a
subrelation
of
represents
(
subrelation
containsInformation
represents
)
Merge.kif 1356-1356
contains information
is a
subrelation
of
represents
(
subrelation
hardwareType
represents
)
QoSontology.kif 1020-1020
hardware type
is a
subrelation
of
represents
(
subrelation
implementsProtocol
represents
)
ComputingBrands.kif 4050-4050
implements protocol
is a
subrelation
of
represents
(
subrelation
pin
represents
)
FinancialOntology.kif 3537-3537
pin
is a
subrelation
of
represents
(
subrelation
productBrand
represents
)
Hotel.kif 1301-1301
product brand
is a
subrelation
of
represents
(
subrelation
productModel
represents
)
QoSontology.kif 14-14
product model
is a
subrelation
of
represents
(
subrelation
realization
represents
)
Merge.kif 4595-4595
realization
is a
subrelation
of
represents
(
subrelation
record
represents
)
Mid-level-ontology.kif 14294-14294
record
is a
subrelation
of
represents
(
termFormat
ChineseLanguage
represents
"代表")
domainEnglishFormat.kif 49544-49544
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
If
an entity
is an
instance
of
international agreement
and
a process
is an
instance
of
committing
and
the process
express
es
the entity
,
then there exists
an agent
such that
the agent
is an
agent
of
the process
and
the agent
is an
instance
of
nation
(=>
(
and
(
instance
?LOGO
Logo
)
(
represents
?LOGO ?OBJ))
(
or
(
instance
?OBJ
AutonomousAgent
)
(
instance
?OBJ
Product
)))
Media.kif 895-901
If
an entity
is an
instance
of
logo
and
the entity
express
es
another entity
,
then
the other entity
is an
instance
of
agent
or
the other entity
is an
instance
of
product
(=>
(
and
(
instance
?OPLAN
OPLAN
)
(
represents
?OPLAN ?OP)
(
instance
?OP
MilitaryOperation
)
(
subProcess
?OPSUB ?OP))
(
represents
?OPLAN ?OPSUB))
MilitaryProcesses.kif 1794-1800
If
an entity
is an
instance
of
OPLAN
and
the entity
express
es
a process
and
the process
is an
instance
of
military operation
and
the process
SUB is a
subprocess
of
the process
,
then
the entity
express
es
the process
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
If
a proposition
is an
instance
of
plan
and
a physical
is an
instance
of
process
and
the proposition
express
es
the physical
,
then there exist
the proposition
NING and
a content bearing physical
such that
the proposition
NING is an
instance
of
planning
and
the content bearing physical
is an
instance
of
content bearing physical
and
the content bearing physical
contain
s information
the proposition
and
the content bearing physical
is a
result
of
the proposition
NING and the
beginning
of the
time
of existence of
the proposition
NING happens
earlier
than the
beginning
of the
time
of existence of
the physical
and the
end
of the
time
of existence of
the proposition
NING happens
earlier
than the
end
of the
time
of existence of
the physical
(=>
(
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 2434-2443
If
an entity
is an
instance
of
Search query
and
a process
is an
instance
of
search attempt
and
the entity
express
es
the process
,
then there exist
an agent
and
another entity
such that
the agent
is an
instance
of
agent
and
the other entity
is a
patient
of
the process
and
the agent
is an
agent
of
the process
consequent
(=>
(
albumCoverImage
?A ?I)
(
represents
?I ?A))
Music.kif 312-314
If
an image
is the
image
on
an album
,
then
the image
express
es
the album
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA))
(
represents
?CONFIDENCE
(
ProbabilityFn
?FORMULA)))
UXExperimentalTerms.kif 531-537
If
a real number
is the
confidence
in
an experimenting
and
the experimenting
is an
instance
of
experimenting
and
a formula
is an
instance
of
formula
and
the formula
is a
patient
of
the experimenting
,
then
the real number
express
es the
probability
of
the 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
If
a process
end
s up at
an object
and
the process
is an
instance
of
messaging
and
an entity
is a
patient
of
the process
and
the object
is an
instance
of
telex
,
then there exist
another process
and
another entity
such that
the object
is an
instrument
for
the other process
and
the other entity
is a
result
of
the other process
and
the other entity
express
es
the entity
and
the other entity
is an
instance
of
text
and the
beginning
of the
time
of existence of
the process
happens
before
the
beginning
of the
time
of existence of
the other process
(=>
(
and
(
instance
?CM
AirlineCodeMap
)
(
codeMapping
?CM ?STR ?AIR))
(
and
(
instance
?AIR
Airline
)
(
represents
?STR ?AIR)))
Transportation.kif 3135-3141
If
a code map
is an
instance
of
airline code map
and
a symbolic string
in
the code map
denotes
an entity
,
then
the entity
is an
instance
of
Airline
and
the symbolic string
express
es
the entity
(=>
(
and
(
instance
?EXPRESS
Expressing
)
(
agent
?EXPRESS ?AGENT))
(
exists
(?STATE)
(
and
(
instance
?STATE
StateOfMind
)
(
attribute
?AGENT ?STATE)
(
represents
?EXPRESS ?STATE))))
Merge.kif 13086-13094
If
a process
is an
instance
of
expressing
and
an agent
is an
agent
of
the process
,
then there exists
an attribute
such that
the attribute
is an
instance
of
state of mind
and
the attribute
is an
attribute
of
the agent
and
the process
express
es
the attribute
(=>
(
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
If
an object
is an
instance
of
digital data storage device
and
a symbolic string
is a
part
of
the object
and
the symbolic string
is an
instance
of
digital data
,
then there exist
a code map
,
a list
and
an entity
such that
the symbolic string
in
the code map
denotes
the entity
and
the list
express
es
the code map
and
if
the entity
is a
member
of
the list
,
then
the entity
is an
instance
of
binary number
(=>
(
and
(
instance
?OPLAN
OPLAN
)
(
represents
?OPLAN ?OP)
(
instance
?OP
MilitaryOperation
)
(
subProcess
?OPSUB ?OP))
(
represents
?OPLAN ?OPSUB))
MilitaryProcesses.kif 1794-1800
If
an entity
is an
instance
of
OPLAN
and
the entity
express
es
a process
and
the process
is an
instance
of
military operation
and
the process
SUB is a
subprocess
of
the process
,
then
the entity
express
es
the process
SUB
(=>
(
and
(
instance
?PLAN
OperationPlan
)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?PLAN)
(
instance
?OP
MilitaryOperation
)
(
result
?OP ?CBO))
(
represents
?PLAN ?OP))
MilitaryProcesses.kif 1573-1580
If
a proposition
is an
instance
of
operation plan
and
a content bearing physical
is an
instance
of
content bearing object
and
the content bearing physical
contain
s information
the proposition
and
a process
is an
instance
of
military operation
and
the content bearing physical
is a
result
of
the process
,
then
the proposition
express
es
the process
(=>
(
and
(
instance
?PROP
Proposition
)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?PROP)
(
instance
?COMM
Communication
)
(
patient
?COMM ?CBO))
(
represents
?COMM ?PROP))
Geography.kif 3025-3032
If
a proposition
is an
instance
of
proposition
and
a content bearing physical
is an
instance
of
content bearing object
and
the content bearing physical
contain
s information
the proposition
and
a process
is an
instance
of
communication
and
the content bearing physical
is a
patient
of
the process
,
then
the process
express
es
the proposition
(=>
(
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
If
a content bearing physical
is an
instance
of
birth certificate
and
a process
is an
instance
of
birth
and
an agent
is an
instance
of
human
and
the agent
experience
s
the process
,
then
the content bearing physical
contains the formula there exist
an entity
,
another entity
and
a third entity
such that
the entity
is a
birthdate
of
the agent
and
the entity
is an
instance
of
day
and
the other entity
is a
birthplace
of
the agent
and
the other entity
is an
instance
of
geographic area
and
the third entity
express
es
the agent
and
the third entity
is an
instance
of
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
If
a content bearing physical
is an
instance
of
DeathCertificate
and
a process
is an
instance
of
death
and
an agent
is an
instance
of
human
and
the agent
experience
s
the process
,
then
the content bearing physical
contains the formula there exist
the process
AY,
another entity
,, ,
a third entity
and
the other entity
ROC such that
the process
AY is a
deathdate
of
the agent
and
the process
AY is an
instance
of
day
and
the other entity
is a
deathplace
of
the agent
and
the other entity
is an
instance
of
geographic area
and
the third entity
express
es
the agent
and
the third entity
is an
instance
of
name
and
the other entity
ROC
cause
s
the process
and
the other entity
ROC is an
instance
of
process
(=>
(
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 26890-26916
If
a physical
is an
instance
of
surveillance system
and
the physical
is a
member
of
a collection
and
the physical
is a
member
of
another collection
and
the collection
is
located
at
an object
and
the collection
is an
instance
of
camera
and
the other collection
is
located
at
another object
and
the object
is not
equal
to
the other object
and
the other collection
is an
instance
of
video display
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
process
and
the entity
is
located
at
the object
and
the other entity
express
es
the entity
and
camera
is an
instrument
for
the fourth entity
and
the other entity
is a
result
of
the fourth entity
and
the third entity
is an
instance
of
radiating light
and
the other collection
is an
instrument
for
the third entity
and
the other entity
is a
patient
of
the third entity
and the
beginning
of
the entity
happens
before
the
beginning
of
the fourth entity
and the
beginning
of
the fourth entity
happens
before
the
beginning
of
the third entity
(=>
(
and
(
pValue
?EXPERIMENT ?VALUE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA))
(
represents
?VALUE
(
ProbabilityFn
?FORMULA)))
UXExperimentalTerms.kif 569-575
If the
p
-value of
an experimenting
is
a real number
and
the experimenting
is an
instance
of
experimenting
and
a formula
is an
instance
of
formula
and
the formula
is a
patient
of
the experimenting
,
then
the real number
express
es the
probability
of
the formula
(=>
(
and
(
userIDString
?STRING ?ACCOUNT)
(
hasAccount
?USER ?ACCOUNT))
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 1099-1103
If the
ID
for
an user account
is
an identifier
and
an agent
has
account
the user account
,
then
the identifier
express
es
the agent
(=>
(
attribute
?ROOM
ThemeRoom
)
(
exists
(?DESIGN ?PROP)
(
and
(
instance
?DESIGN
Designing
)
(
result
?DESIGN ?PROP)
(
represents
?ROOM ?PROP))))
Hotel.kif 1088-1094
If
theme room
is an
attribute
of
an object
,
then there exist
a process
and
an entity
such that
the process
is an
instance
of
designing
and
the entity
is a
result
of
the process
and
the object
express
es
the entity
(=>
(
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
If
aeronautical engineer
is an
attribute
of
an agent
,
then there exists
a kind of process
such that
the agent
has the
skill
to do
a kind of process
and for all
another process
if
the other process
is an
instance
of
the kind of process
,
then there exist
a third process
,
an entity
and
the other process
T such that
the third process
is an
instance
of
making
and
the entity
is an
instance
of
aircraft
or
the entity
is an
instance
of
the other process
T and a
the other process
T is
typically
a
part
of a
aircraft
and
the entity
is a
result
of
the third process
and
the other process
is a
subprocess
of
the third process
or there exist
a fourth process
,
the other process
LAN,, ,
the entity
and
the other process
T such that
the fourth process
is an
instance
of
designing
and
the entity
is an
instance
of
aircraft
or
the entity
is an
instance
of
the other process
T and a
the other process
T is
typically
a
part
of a
aircraft
and
the other process
LAN is a
result
of
the fourth process
and
the other process
LAN
express
es
the entity
and
the other process
is a
subprocess
of
the fourth process
(=>
(
brandIcon
?BRAND ?ICON)
(
exists
(?AGENT)
(
and
(
managedBy
?BRAND ?AGENT)
(
managedBy
?ICON ?AGENT)
(
represents
?ICON ?BRAND))))
Hotel.kif 1319-1325
If
an icon
is the
icon
of
a brand
,
then there exists
an agent
such that
the brand
is
managed
by
the agent
and
the icon
is
managed
by
the agent
and
the icon
express
es
the 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
If
an identifier
is the
ID
of
a web browser
when accessing
a web site
,
then there exist
a symbolic string
,
a process
,, ,
an agent
and
a computer process
such that
the symbolic string
is an
instance
of
web page
and
the symbolic string
is a
sub
-string of
the web site
and
the process
is an
instance
of
accessing web page
and
the agent
is an
instance
of
agent
and
the agent
is an
agent
of
the process
and
the web browser
is a
program
running of
the computer process
and
the computer process
cause
s
the process
and
the process
end
s up at
the symbolic string
and
the identifier
express
es
the agent
(=>
(
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
If
a region
has
capacity
for
an integer
according to
a proposition
,
then
if
the region
express
es
the proposition
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
group of people
and
the other entity
is a
member
count of
the entity
and
the other entity
is
less
than or equal to
the integer
and
the entity
is
located
at
the region
has the
modal
force
of
possibility
(=>
(
categoryID
?STRING ?CAT)
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 171-173
If
an identifier
is the
ID
for
a web listing category
,
then
the identifier
express
es
an entity
(=>
(
codeMapping
?MAP ?TOKEN ?X)
(
represents
?TOKEN ?X))
Media.kif 2272-2274
If
a symbolic string
in
a code map
denotes
an entity
,
then
the symbolic string
express
es
the entity
(=>
(
contestParticipantRepresentation
?CONT ?AGENT ?OBJ)
(
holdsDuring
(
WhenFn
?CONT)
(
represents
?AGENT ?OBJ)))
Music.kif 1109-1113
If
a cognitive agent
represents
an object
in
a contest
,
then
the cognitive agent
express
es
the object
holds
during
the
time
of existence of
the 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
If
a physical
is evidence in
a legal action
,
then there exist
an argument
and
the physical
ROP such that
the physical
ROP is an
instance
of
proposition
and
the argument
is an
instance
of
argument
and
the argument
includes a
reference
to
the legal action
and
the physical
ROP
express
es
the physical
and
the physical
ROP is a
premise
of
the argument
(=>
(
experimentID
?STRING ?EXP)
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 4032-4034
If the
ID
of
an experimenting
is
an identifier
,
then
the identifier
express
es
an entity
(=>
(
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 21132-21141
If
architecture
has an expertise in
a human
,
then there exist
a process
,
an entity
and
another entity
such that
the process
is an
instance
of
content development
and
the human
is an
agent
of
the process
and
the entity
is a
result
of
the process
and
the entity
is an
instance
of
blueprint
and
the entity
express
es
the other entity
and
the other entity
is an
instance
of
building
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 851-851
Resistor element
express
es
dissipator
(
represents
ResistorElement
ElectricalTwopole
)
engineering.kif 852-852
Resistor element
express
es
electrical twopole
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