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
represents
の数値 1 引数は
エンティティー
の
instance
では %n
(
domain
represents
2
Entity
)
Merge.kif 4453-4453
represents
の数値 2 引数は
エンティティー
の
instance
では %n
(
instance
represents
BinaryPredicate
)
Merge.kif 4451-4451
represents
は
2進述語
の
instance
では %n
(
subrelation
represents
refers
)
Merge.kif 4450-4450
represents
は
refers
の
subrelation
では %n
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
は
represents
の
subrelation
では %n
(
subrelation
anthem
represents
)
Music.kif 349-349
anthem
は
represents
の
subrelation
では %n
(
subrelation
cardCode
represents
)
FinancialOntology.kif 3498-3498
cardCode
は
represents
の
subrelation
では %n
(
subrelation
conforms
represents
)
Mid-level-ontology.kif 26923-26923
conforms
は
represents
の
subrelation
では %n
(
subrelation
containsInformation
represents
)
Merge.kif 1356-1356
containsInformation
は
represents
の
subrelation
では %n
(
subrelation
hardwareType
represents
)
QoSontology.kif 1020-1020
hardwareType
は
represents
の
subrelation
では %n
(
subrelation
implementsProtocol
represents
)
ComputingBrands.kif 4050-4050
implementsProtocol
は
represents
の
subrelation
では %n
(
subrelation
pin
represents
)
FinancialOntology.kif 3537-3537
pin
は
represents
の
subrelation
では %n
(
subrelation
productBrand
represents
)
Hotel.kif 1301-1301
productBrand
は
represents
の
subrelation
では %n
(
subrelation
productModel
represents
)
QoSontology.kif 14-14
productModel
は
represents
の
subrelation
では %n
(
subrelation
realization
represents
)
Merge.kif 4595-4595
realization
は
represents
の
subrelation
では %n
(
subrelation
record
represents
)
Mid-level-ontology.kif 14322-14322
record
は
represents
の
subrelation
では %n
(
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
エンティティー
は
InternationalAgreement
の
instance
では %n
工程
は
委託
の
instance
では %n
工程
は
エンティティー
を
express
es %n{ない}
AutonomousAgent
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
国民
の
instance
では %n
(=>
(
and
(
instance
?LOGO
Logo
)
(
represents
?LOGO ?OBJ))
(
or
(
instance
?OBJ
AutonomousAgent
)
(
instance
?OBJ
Product
)))
Media.kif 895-901
エンティティー
は
Logo
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
エンティティー
は
AutonomousAgent
の
instance
では %n
エンティティー
は
製品
の
instance
では %n
(=>
(
and
(
instance
?OPLAN
OPLAN
)
(
represents
?OPLAN ?OP)
(
instance
?OP
MilitaryOperation
)
(
subProcess
?OPSUB ?OP))
(
represents
?OPLAN ?OPSUB))
MilitaryProcesses.kif 1794-1800
エンティティー
は
OPLAN
の
instance
では %n
エンティティー
は
工程
を
express
es %n{ない}
工程
は
MilitaryOperation
の
instance
では %n
工程
SUB は
工程
% の
subprocess
では %n
エンティティー
は
工程
SUB を
express
es %n{ない}
(=>
(
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
命題
は
計画
の
instance
では %n
物理
は
工程
の
instance
では %n
命題
は
物理
を
express
es %n{ない}
命題
NING
ContentBearingPhysical
命題
NING は
計画
の
instance
では %n
ContentBearingPhysical
は
ContentBearingPhysical
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
は
命題
NING の
result
では %n
命題
NING の
time
の existence の
beginning
は
物理
の
time
の existence の
beginning
より
earlier
happens %n{ない}
命題
NING の
time
の existence の
end
は
物理
の
time
の existence の
end
より
earlier
happens %n{ない}
(=>
(
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
エンティティー
は
SearchQuery
の
instance
では %n
工程
は
SearchAttempt
の
instance
では %n
エンティティー
は
工程
を
express
es %n{ない}
AutonomousAgent
エンティティー
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
consequent
(=>
(
albumCoverImage
?A ?I)
(
represents
?I ?A))
Music.kif 312-314
albumCoverImage
Album
and
Image
Image
は
Album
を
express
es %n{ない}
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA))
(
represents
?CONFIDENCE
(
ProbabilityFn
?FORMULA)))
UXExperimentalTerms.kif 531-537
confidenceInterval
Experimenting
and
実数
Experimenting
は
Experimenting
の
instance
では %n
公式
は
公式
の
instance
では %n
公式
は
Experimenting
の
patient
では %n
実数
は
公式
の
probability
を
express
es %n{ない}
(=>
(
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
工程
は
オブジェクト
に
end
s %n{ない}
工程
は
Messaging
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
Telex
の
instance
では %n
工程
エンティティー
オブジェクト
は
工程
の
instrument
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
エンティティー
は
テキスト
の
instance
では %n
工程
の
time
の existence の
beginning
は
工程
の
time
の existence の
beginning
の
before
に happens %n{ない}
(=>
(
and
(
instance
?CM
AirlineCodeMap
)
(
codeMapping
?CM ?STR ?AIR))
(
and
(
instance
?AIR
Airline
)
(
represents
?STR ?AIR)))
Transportation.kif 3135-3141
CodeMap
は
AirlineCodeMap
の
instance
では %n
codeMapping
CodeMap
,
記号文字列
and
エンティティー
エンティティー
は
Airline
の
instance
では %n
記号文字列
は
エンティティー
を
express
es %n{ない}
(=>
(
and
(
instance
?EXPRESS
Expressing
)
(
agent
?EXPRESS ?AGENT))
(
exists
(?STATE)
(
and
(
instance
?STATE
StateOfMind
)
(
attribute
?AGENT ?STATE)
(
represents
?EXPRESS ?STATE))))
Merge.kif 13116-13124
工程
は
表現
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
属性
属性
は
精神状態
の
instance
では %n
属性
は
AutonomousAgent
の
attribute
では %n
工程
は
属性
を
express
es %n{ない}
(=>
(
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
オブジェクト
は
DigitalDataStorageDevice
の
instance
では %n
記号文字列
は
オブジェクト
の
part
では %n
記号文字列
は
DigitalData
の
instance
では %n
CodeMap
リスト
and
エンティティー
codeMapping
CodeMap
,
記号文字列
and
エンティティー
リスト
は
CodeMap
を
express
es %n{ない}
エンティティー
は
リスト
の
member
では %n
エンティティー
は
2進数
の
instance
では %n
(=>
(
and
(
instance
?OPLAN
OPLAN
)
(
represents
?OPLAN ?OP)
(
instance
?OP
MilitaryOperation
)
(
subProcess
?OPSUB ?OP))
(
represents
?OPLAN ?OPSUB))
MilitaryProcesses.kif 1794-1800
エンティティー
は
OPLAN
の
instance
では %n
エンティティー
は
工程
を
express
es %n{ない}
工程
は
MilitaryOperation
の
instance
では %n
工程
SUB は
工程
% の
subprocess
では %n
エンティティー
は
工程
SUB を
express
es %n{ない}
(=>
(
and
(
instance
?PLAN
OperationPlan
)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?PLAN)
(
instance
?OP
MilitaryOperation
)
(
result
?OP ?CBO))
(
represents
?PLAN ?OP))
MilitaryProcesses.kif 1573-1580
命題
は
OperationPlan
の
instance
では %n
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
工程
は
MilitaryOperation
の
instance
では %n
ContentBearingPhysical
は
工程
の
result
では %n
命題
は
工程
を
express
es %n{ない}
(=>
(
and
(
instance
?PROP
Proposition
)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?PROP)
(
instance
?COMM
Communication
)
(
patient
?COMM ?CBO))
(
represents
?COMM ?PROP))
Geography.kif 3025-3032
命題
は
命題
の
instance
では %n
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
工程
は
コミュニケーション
の
instance
では %n
ContentBearingPhysical
は
工程
の
patient
では %n
工程
は
命題
を
express
es %n{ない}
(=>
(
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
は
BirthCertificate
の
instance
では %n
工程
は
出生
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
containsFormula
ContentBearingPhysical
and
エンティティー
エンティティー
and
エンティティー
birthdate
AutonomousAgent
and
エンティティー
エンティティー
は
日
の
instance
では %n
birthplace
AutonomousAgent
and
エンティティー
エンティティー
は
地理的地域
の
instance
では %n
エンティティー
は
AutonomousAgent
を
express
es %n{ない}
エンティティー
は
Name
の
instance
では %n
(=>
(
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
は
DeathCertificate
の
instance
では %n
工程
は
死
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
containsFormula
ContentBearingPhysical
and
工程
AY
エンティティー
,
エンティティー
and
エンティティー
ROC
deathdate
AutonomousAgent
and
工程
AY
工程
AY は
日
の
instance
では %n
deathplace
AutonomousAgent
and
エンティティー
エンティティー
は
地理的地域
の
instance
では %n
エンティティー
は
AutonomousAgent
を
express
es %n{ない}
エンティティー
は
Name
の
instance
では %n
エンティティー
ROC は
工程
を
cause
s %n{ない}
エンティティー
ROC は
工程
の
instance
では %n
(=>
(
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
物理
は
SurveillanceSystem
の
instance
では %n
物理
は
コレクション
の
member
では %n
物理
は
コレクション
の
member
では %n
コレクション
は
オブジェクト
に
located
して %n
コレクション
は
Camera
の
instance
では %n
コレクション
は
オブジェクト
に
located
して %n
オブジェクト
は
オブジェクト
と
equal
では
コレクション
は
VideoDisplay
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
eventLocated
エンティティー
and
オブジェクト
エンティティー
は
エンティティー
を
express
es %n{ない}
Camera
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
result
では %n
エンティティー
は
放射光
の
instance
では %n
コレクション
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
の
beginning
は
エンティティー
の
beginning
の
before
に happens %n{ない}
エンティティー
の
beginning
は
エンティティー
の
beginning
の
before
に happens %n{ない} の 目的 %n{ない}
(=>
(
and
(
pValue
?EXPERIMENT ?VALUE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA))
(
represents
?VALUE
(
ProbabilityFn
?FORMULA)))
UXExperimentalTerms.kif 569-575
pValue
Experimenting
and
実数
Experimenting
は
Experimenting
の
instance
では %n
公式
は
公式
の
instance
では %n
公式
は
Experimenting
の
patient
では %n
実数
は
公式
の
probability
を
express
es %n{ない}
(=>
(
and
(
userIDString
?STRING ?ACCOUNT)
(
hasAccount
?USER ?ACCOUNT))
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 1099-1103
userIDString
Identifier
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
Identifier
は
AutonomousAgent
を
express
es %n{ない}
(=>
(
attribute
?ROOM
ThemeRoom
)
(
exists
(?DESIGN ?PROP)
(
and
(
instance
?DESIGN
Designing
)
(
result
?DESIGN ?PROP)
(
represents
?ROOM ?PROP))))
Hotel.kif 1088-1094
ThemeRoom
は
オブジェクト
の
attribute
では %n
工程
エンティティー
工程
は
Designing
の
instance
では %n
エンティティー
は
工程
の
result
では %n
オブジェクト
は
エンティティー
を
express
es %n{ない}
(=>
(
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
は
AutonomousAgent
の
attribute
では %n
工程
AutonomousAgent
は
工程
をする
skill
が %n{ない}
工程
工程
は
工程
の
instance
では %n
工程
エンティティー
and
工程
T
工程
は
作る
の
instance
では %n
エンティティー
は
Aircraft
の
instance
では %n
エンティティー
は
工程
T の
instance
では %n
typicalPart
工程
T and
Aircraft
エンティティー
は
工程
の
result
では %n
工程
は
工程
% の
subprocess
では %n
工程
工程
LAN,
エンティティー
and
工程
T
工程
は
Designing
の
instance
では %n
エンティティー
は
Aircraft
の
instance
では %n
エンティティー
は
工程
T の
instance
では %n
typicalPart
工程
T and
Aircraft
工程
LAN は
工程
の
result
では %n
工程
LAN は
エンティティー
を
express
es %n{ない}
工程
は
工程
% の
subprocess
では %n
(=>
(
brandIcon
?BRAND ?ICON)
(
exists
(?AGENT)
(
and
(
managedBy
?BRAND ?AGENT)
(
managedBy
?ICON ?AGENT)
(
represents
?ICON ?BRAND))))
Hotel.kif 1319-1325
brandIcon
Brand
and
アイコン
AutonomousAgent
managedBy
Brand
and
AutonomousAgent
managedBy
アイコン
and
AutonomousAgent
アイコン
は
Brand
を
express
es %n{ない}
(=>
(
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
記号文字列
工程
,
AutonomousAgent
and
ComputerProcess
記号文字列
は
WebPage
の
instance
では %n
subString
記号文字列
and
WebSite
工程
は
AccessingWebPage
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
programRunning
ComputerProcess
and
WebBrowser
ComputerProcess
は
工程
を
cause
s %n{ない}
工程
は
記号文字列
に
end
s %n{ない}
Identifier
は
AutonomousAgent
を
express
es %n{ない}
(=>
(
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
地域
,
命題
and
整数
地域
は
命題
を
express
es %n{ない}
ステートメント
エンティティー
エンティティー
エンティティー
は
GroupOfPeople
の
instance
では %n
memberCount
エンティティー
and
エンティティー
エンティティー
は
整数
より
less
または同等 では %n
エンティティー
は
地域
に
located
して %n には
Possibility
の
modal
force
が ある
(=>
(
categoryID
?STRING ?CAT)
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 171-173
categoryID
Identifier
and
WebListingCategory
Identifier
は
エンティティー
を
express
es %n{ない}
(=>
(
codeMapping
?MAP ?TOKEN ?X)
(
represents
?TOKEN ?X))
Media.kif 2272-2274
codeMapping
CodeMap
,
記号文字列
and
エンティティー
記号文字列
は
エンティティー
を
express
es %n{ない}
(=>
(
contestParticipantRepresentation
?CONT ?AGENT ?OBJ)
(
holdsDuring
(
WhenFn
?CONT)
(
represents
?AGENT ?OBJ)))
Music.kif 1109-1113
contestParticipantRepresentation
コンテスト
,
認識エージェント
and
オブジェクト
認識エージェント
は
オブジェクト
を
express
es %n{ない} は
コンテスト
の
time
の existence の
during
holds %n{ない}
(=>
(
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
訴訟
and
物理
Argument
物理
ROP
物理
ROP は
命題
の
instance
では %n
Argument
は
Argument
の
instance
では %n
Argument
は
訴訟
への
reference
を includes %n{ない}
物理
ROP は
物理
を
express
es %n{ない}
premise
Argument
and
物理
ROP
(=>
(
experimentID
?STRING ?EXP)
(
represents
?STRING ?USER))
UXExperimentalTerms.kif 4024-4026
experimentID
Identifier
and
Experimenting
Identifier
は
エンティティー
を
express
es %n{ない}
(=>
(
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
人[人間]
and
Architecture
工程
エンティティー
and
エンティティー
工程
は
コンテンツ開発
の
instance
では %n
人[人間]
は
工程
の
agent
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
は
Blueprint
の
instance
では %n
エンティティー
は
エンティティー
を
express
es %n{ない}
エンティティー
は
建物
の
instance
では %n
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
は
Dissipator
を
express
es %n{ない}
(
represents
ResistorElement
ElectricalTwopole
)
engineering.kif 851-851
ResistorElement
は
ElectricalTwopole
を
express
es %n{ない}
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