Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
containsInformation
Sigma KEE - containsInformation
containsInformation
appearance as argument number 1
(
documentation
containsInformation
ChineseLanguage
"这是
represents
的子类别。这个术语把
ContentBearingPhysical
和这个
ContentBearingPhysical
所表达的
Proposition
联系起来。 它的例子包括一本实体小说和它所讲故事之间的关系,以及一篇总曲谱和的它音乐内容之间的关系。")
chinese_format.kif 1648-1650
(
documentation
containsInformation
EnglishLanguage
"A subrelation of
represents
. This predicate relates a
ContentBearingPhysical
to the
Proposition
that is expressed by the
ContentBearingPhysical
. Examples include the relationships between a physical novel and its story and between a printed score and its musical content.")
Merge.kif 1370-1374
(
documentation
containsInformation
JapaneseLanguage
"
represents
の下位関係。 この述語は、
ContentBearingPhysical
を
Proposition
に関し、
ContentBearingPhysical
で表現される。 例として、物理的な小説とその物語の間の関係や、印刷されたスコアとその音楽コンテンツの関係など。")
japanese_format.kif 234-236
(
documentation
containsInformation
SpanishLanguage
"Una subrelación de
represents
. Este predicado relaciona
ContentBearingPhysical
a la
Proposition
que se expresa el
ContentBearingPhysical
. Por ejemplo, las relaciones entre una novela física y su historia, la partitura y su contenido musical.")
spanish_format.kif 276-279
(
domain
containsInformation
1
ContentBearingPhysical
)
Merge.kif 1367-1367
containsInformation
の数値 1 引数は
ContentBearingPhysical
の
instance
では
(
domain
containsInformation
2
Proposition
)
Merge.kif 1368-1368
containsInformation
の数値 2 引数は
命題
の
instance
では
(
instance
containsInformation
AsymmetricRelation
)
Merge.kif 1365-1365
containsInformation
は
非対称関係
の
instance
では
(
instance
containsInformation
BinaryPredicate
)
Merge.kif 1364-1364
containsInformation
は
2進述語
の
instance
では
(
relatedInternalConcept
containsInformation
containsFormula
)
Merge.kif 1379-1379
containsInformation
は
containsFormula
に
internally
関連して
(
subrelation
containsInformation
represents
)
Merge.kif 1366-1366
containsInformation
は
represents
の
subrelation
では
appearance as argument number 2
(
format
ChineseLanguage
containsInformation
"%1 %n{doesn't}
contains
%2 的资料")
chinese_format.kif 81-81
(
format
EnglishLanguage
containsInformation
"%1 %n{doesn't} contain%p{s} information %2")
english_format.kif 81-81
(
format
FrenchLanguage
containsInformation
"%1 %n{ne} contient %n{pas} information %2")
french_format.kif 65-65
(
format
ItalianLanguage
containsInformation
"%1 %n{non} contiene%p{s} informazione %2")
relations-it.txt 57-57
(
format
JapaneseLanguage
containsInformation
"%1 は %2 の情報を contain%p{s} %n{ない}")
japanese_format.kif 1889-1889
(
format
PortugueseLanguage
containsInformation
"%1 %n{nao} contem %n informacao %2")
portuguese_format.kif 17-17
(
format
cb
containsInformation
"%1 %n naay nahibaw-an %2")
relations-cb.txt 91-91
(
format
cz
containsInformation
"%1 %n{doesn't} contain%p{s} information %2")
relations-cz.txt 71-71
(
format
de
containsInformation
"%1 enthaelt Informationen ueber %2")
relations-de.txt 92-92
(
format
hi
containsInformation
"%2 kii jaanakaarii %1 men %n{nahiin} hai")
relations-hindi.txt 98-98
(
format
ro
containsInformation
"%1 %n{nu} contain%t{conþine} informaþie %2")
relations-ro.kif 84-84
(
format
sv
containsInformation
"%1 innehåller %n{inte} informationen %2")
relations-sv.txt 64-64
(
format
tg
containsInformation
"%1 %n may kaalaman %2")
relations-tg.txt 130-130
(
relatedInternalConcept
ContentBearingObject
containsInformation
)
Merge.kif 1339-1339
コンテンツベアリングオブジェクト
は
containsInformation
に
internally
関連して
(
relatedInternalConcept
realization
containsInformation
)
Merge.kif 4628-4628
realization
は
containsInformation
に
internally
関連して
(
subrelation
accountInformation
containsInformation
)
ComputingBrands.kif 4404-4404
accountInformation
は
containsInformation
の
subrelation
では
(
subrelation
programCopy
containsInformation
)
QoSontology.kif 744-744
programCopy
は
containsInformation
の
subrelation
では
(
termFormat
ChineseLanguage
containsInformation
"包含信息")
chinese_format.kif 82-82
programCopy
は
containsInformation
の
subrelation
では
(
termFormat
ChineseTraditionalLanguage
containsInformation
"包含信息")
domainEnglishFormat.kif 16946-16946
programCopy
は
containsInformation
の
subrelation
では
(
termFormat
EnglishLanguage
containsInformation
"contains information")
domainEnglishFormat.kif 16945-16945
programCopy
は
containsInformation
の
subrelation
では
(
termFormat
de
containsInformation
"enthaeltInformationen")
terms-de.txt 25-25
programCopy
は
containsInformation
の
subrelation
では
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
(<=>
(
and
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO1))
(
exists
(?OBJ2 ?INFO2)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO2)
(
equal
?INFO1 ?INFO2))))
Mid-level-ontology.kif 28228-28239
工程
は
Photocopying
の
instance
では
ContentBearingPhysical
は
工程
の
patient
では
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では
ContentBearingPhysical
は
命題
の情報を
contain
s
ContentBearingPhysical
命題
ContentBearingPhysical
は
工程
の
result
では
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では
ContentBearingPhysical
は
命題
の情報を
contain
s
equal
命題
and
命題
(=>
(
and
(
agreementEffectiveDuring
?AGR ?DATE)
(
instance
?TIME ?DATE)
(
instance
?FORMULA
Formula
)
(
containsInformation
?FORMULA ?AGR))
(
holdsDuring
?TIME ?FORMULA))
Government.kif 728-734
agreementEffectiveDuring
命題
and
時間位置
時間位置
は
時間位置
の
instance
では
公式
は
公式
の
instance
では
公式
は
命題
の情報を
contain
s
公式
は
時間位置
の
during
holds
(=>
(
and
(
instance
?C
Confirming
)
(
agent
?C ?A)
(
containsInformation
?C ?P))
(
exists
(?S ?RA ?A2)
(
and
(
instance
?S
Stating
)
(
earlier
?S ?C)
(
instance
?RA
ReachingAgreement
)
(
agent
?S ?A2)
(
containsInformation
?RA ?P)
(
containsInformation
?S ?P)
(
partyToAgreement
?RA ?A)
(
partyToAgreement
?RA ?A2))))
Mid-level-ontology.kif 31558-31572
時間間隔
は
Confirming
の
instance
では
Agreement
は
時間間隔
の
agent
では
時間間隔
は
命題
の情報を
contain
s
時間間隔
ContentBearingPhysical
and
Agreement
2
時間間隔
は
記載
の
instance
では
時間間隔
は
時間間隔
より
earlier
happens
ContentBearingPhysical
は
ReachingAgreement
の
instance
では
Agreement
2 は
時間間隔
の
agent
では
ContentBearingPhysical
は
命題
の情報を
contain
s
時間間隔
は
命題
の情報を
contain
s
partyToAgreement
ContentBearingPhysical
and
Agreement
partyToAgreement
ContentBearingPhysical
and
Agreement
2
(=>
(
and
(
instance
?CONST
(
ConstitutionFn
?COUNTRY))
(
instance
?COUNTRY
Nation
)
(
equal
?GOV
(
GovernmentFn
?COUNTRY))
(
instance
(
WhenFn
?GOV) ?CLASS)
(
agreementEffectiveDuring
?CONST ?CLASS)
(
subProposition
?PART ?CONST)
(
containsInformation
?FORMULA ?PART))
(
holdsObligation
?FORMULA ?GOV))
Government.kif 736-745
命題
は
ConstitutionFn
地政学的地域
の
instance
では
地政学的地域
は
国民
の
instance
では
equal
政府
and
地政学的地域
の
government
政府
の
time
の existence は
時間位置
の
instance
では
agreementEffectiveDuring
命題
and
時間位置
命題
は
命題
の
sub
-proposition では
公式
は
命題
の情報を
contain
s
政府
はタイプ
公式
のタスクを実行する
obliged
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
ContentBearingPhysical
は
ContractDocument
の
instance
では
ContentBearingPhysical
は
命題
の情報を
contain
s
命題
には
attribute
Contract
命題
には
attribute
Law
(=>
(
and
(
instance
?EVENT
OperationPlanning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?INFO))
(
instance
?INFO
OperationPlan
))
MilitaryProcesses.kif 1527-1533
工程
は
OperationPlanning
の
instance
では
ContentBearingPhysical
は
工程
の
result
では
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では
ContentBearingPhysical
は
命題
の情報を
contain
s
命題
は
OperationPlan
の
instance
では
(=>
(
and
(
instance
?PLAN
OperationPlan
)
(
containsInformation
?CBO ?PLAN)
(
instance
?CBO
ContentBearingObject
)
(
result
?EVENT ?CBO))
(
instance
?EVENT
OperationPlanning
))
MilitaryProcesses.kif 1535-1541
命題
は
OperationPlan
の
instance
では
ContentBearingPhysical
は
命題
の情報を
contain
s
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では
ContentBearingPhysical
は
工程
の
result
では
工程
は
OperationPlanning
の
instance
では
(=>
(
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
では
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では
ContentBearingPhysical
は
命題
の情報を
contain
s
工程
は
MilitaryOperation
の
instance
では
ContentBearingPhysical
は
工程
の
result
では
命題
は
工程
を
express
es
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?OBJ
ContentBearingObject
)
(
containsInformation
?OBJ ?PLAN))
(
exists
(?PLANNING)
(
and
(
instance
?PLANNING
Planning
)
(
result
?PLANNING ?OBJ))))
Merge.kif 16977-16985
命題
は
計画
の
instance
では
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では
ContentBearingPhysical
は
命題
の情報を
contain
s
命題
NING
命題
NING は
計画
の
instance
では
ContentBearingPhysical
は
命題
NING の
result
では
(=>
(
and
(
instance
?PLANNING
JointOperationPlanning
)
(
result
?PLANNING ?CBO)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?INFO))
(
instance
?INFO
OPLAN
))
MilitaryProcesses.kif 1812-1818
工程
は
JointOperationPlanning
の
instance
では
ContentBearingPhysical
は
工程
の
result
では
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では
ContentBearingPhysical
は
命題
の情報を
contain
s
命題
は
OPLAN
の
instance
では
(=>
(
and
(
instance
?PROP
Proposition
)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?PROP)
(
instance
?COMM
Communication
)
(
patient
?COMM ?CBO))
(
represents
?COMM ?PROP))
Geography.kif 3183-3190
命題
は
命題
の
instance
では
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では
ContentBearingPhysical
は
命題
の情報を
contain
s
工程
は
コミュニケーション
の
instance
では
ContentBearingPhysical
は
工程
の
patient
では
工程
は
命題
を
express
es
(=>
(
and
(
instance
?SF
SpeakingAtAFasterRate
)
(
instance
?SS
SpeakingAtASlowerRate
)
(
instance
?U
UnitOfDuration
)
(
agent
?SF ?A)
(
agent
?SS ?A)
(
containsInformation
?SF ?I)
(
containsInformation
?SS ?I)
(
duration
(
WhenFn
?SF)
(
MeasureFn
?FAST ?U))
(
duration
(
WhenFn
?SS)
(
MeasureFn
?SLOW ?U)))
(
greaterThan
?FAST ?SLOW))
emotion.kif 2016-2029
工程
は
SpeakingAtAFasterRate
の
instance
では
工程
は
SpeakingAtASlowerRate
の
instance
では
測定単位
は
UnitOfDuration
の
instance
では
AutonomousAgent
は
工程
の
agent
では
AutonomousAgent
は
工程
の
agent
では
工程
は
命題
の情報を
contain
s
工程
は
命題
の情報を
contain
s
工程
の
time
の existence の
duration
は
実数
の
測定単位
(s) では
工程
の
time
の existence の
duration
は
実数
の
測定単位
(s) では
実数
は
実数
より
greater
では
(=>
(
and
(
instance
?X
Photocopier
)
(
instrument
?COPY ?X)
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
TwoDimensionalObject
)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO))
(
exists
(?OBJ2 ?SHEET)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
TwoDimensionalObject
)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO)
(
located
?OBJ2 ?SHEET)
(
instance
?SHEET
PrintedSheet
))))
Mid-level-ontology.kif 28198-28214
オブジェクト
は
Photocopier
の
instance
では
オブジェクト
は
工程
の
instrument
では
工程
は
Photocopying
の
instance
では
ContentBearingPhysical
は
工程
の
patient
では
ContentBearingPhysical
は
TwoDimensionalObject
の
instance
では
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では
ContentBearingPhysical
は
命題
の情報を
contain
s
ContentBearingPhysical
オブジェクト
ContentBearingPhysical
は
工程
の
result
では
ContentBearingPhysical
は
TwoDimensionalObject
の
instance
では
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では
ContentBearingPhysical
は
命題
の情報を
contain
s
ContentBearingPhysical
は
オブジェクト
に
located
して
オブジェクト
は
PrintedSheet
の
instance
では
(=>
(
and
(
subclass
?PUB
JointPublication
)
(
instance
?ONE ?PUB)
(
containsInformation
?ONE ?CONTENT)
(
authors
?JORG ?PUB))
(
exists
(?ORG)
(
and
(
subOrganization
?ORG
USMilitary
)
(
confersObligation
?CONTENT ?JORG ?ORG))))
MilitaryProcesses.kif 940-949
コンテンツベアリングオブジェクト
は
JointPublication
の
subclass
では
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では
ContentBearingPhysical
は
公式
の情報を
contain
s
AutonomousAgent
は
コンテンツベアリングオブジェクト
の
author
では
組織
組織
は組織
USMilitary
の一部では
AutonomousAgent
は
組織
にタイプ
公式
のタスクを実行する
obligate
s
(=>
(
and
(
subsumesContentInstance
?OBJ1 ?OBJ2)
(
containsInformation
?OBJ2 ?INFO))
(
containsInformation
?OBJ1 ?INFO))
Merge.kif 4617-4621
ContentBearingPhysical
は
ContentBearingPhysical
の コンテンツを
subsume
s
ContentBearingPhysical
は
命題
の情報を
contain
s
ContentBearingPhysical
は
命題
の情報を
contain
s
consequent
(<=>
(
and
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO1))
(
exists
(?OBJ2 ?INFO2)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO2)
(
equal
?INFO1 ?INFO2))))
Mid-level-ontology.kif 28228-28239
工程
は
Photocopying
の
instance
では
ContentBearingPhysical
は
工程
の
patient
では
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では
ContentBearingPhysical
は
命題
の情報を
contain
s
ContentBearingPhysical
命題
ContentBearingPhysical
は
工程
の
result
では
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では
ContentBearingPhysical
は
命題
の情報を
contain
s
equal
命題
and
命題
(=>
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
and
(
exists
(?CLAUSE)
(
containsInformation
?CLAUSE ?PROP))
(
partyToAgreement
?AGENT ?AGREEMENT)))
Mid-level-ontology.kif 15443-15448
agreementClause
命題
,
義務的な属性
,
Agreement
and
認識エージェント
ContentBearingPhysical
ContentBearingPhysical
は
命題
の情報を
contain
s
partyToAgreement
認識エージェント
and
Agreement
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
suffrageAgeMaximum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMaximum
?AREA ?AGE) ?AGERULE))))
Government.kif 991-1000
地政学的地域
は
地政学的地域
の
instance
では
suffrageAgeMaximum
地政学的地域
and
時間分
時間分
RULE
時間分
RULE は
VoterAgeRequirement
の
instance
では
時間分
RULE は
RegionalLawFn
地政学的地域
の
sub
-proposition では
suffrageAgeMaximum
地政学的地域
and
時間分
は
時間分
RULE の情報を
contain
s
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
suffrageAgeMinimum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMinimum
?AREA ?AGE) ?AGERULE))))
Government.kif 919-928
地政学的地域
は
地政学的地域
の
instance
では
suffrageAgeMinimum
地政学的地域
and
時間分
時間分
RULE
時間分
RULE は
VoterAgeRequirement
の
instance
では
時間分
RULE は
RegionalLawFn
地政学的地域
の
sub
-proposition では
suffrageAgeMinimum
地政学的地域
and
時間分
は
時間分
RULE の情報を
contain
s
(=>
(
and
(
instance
?ARGUMENT
ValidDeductiveArgument
)
(
equal
?PREMISES
(
PremisesFn
?ARGUMENT))
(
conclusion
?CONCLUSION ?ARGUMENT))
(
exists
(?FORMULA1 ?FORMULA2)
(
and
(
containsInformation
?FORMULA1 ?PREMISES)
(
containsInformation
?FORMULA2 ?CONCLUSION)
(
entails
?PREMISES ?CONCLUSION))))
Merge.kif 17017-17026
Argument
は
ValidDeductiveArgument
の
instance
では
equal
公式
and 引数
Argument
の
premises
引数
公式
の 結論は
Argument
です
ContentBearingPhysical
ContentBearingPhysical
ContentBearingPhysical
は
公式
の情報を
contain
s
ContentBearingPhysical
は
公式
の情報を
contain
s
公式
は
公式
を
entail
s
(=>
(
and
(
instance
?C
Confirming
)
(
agent
?C ?A)
(
containsInformation
?C ?P))
(
exists
(?S ?RA ?A2)
(
and
(
instance
?S
Stating
)
(
earlier
?S ?C)
(
instance
?RA
ReachingAgreement
)
(
agent
?S ?A2)
(
containsInformation
?RA ?P)
(
containsInformation
?S ?P)
(
partyToAgreement
?RA ?A)
(
partyToAgreement
?RA ?A2))))
Mid-level-ontology.kif 31558-31572
時間間隔
は
Confirming
の
instance
では
Agreement
は
時間間隔
の
agent
では
時間間隔
は
命題
の情報を
contain
s
時間間隔
ContentBearingPhysical
and
Agreement
2
時間間隔
は
記載
の
instance
では
時間間隔
は
時間間隔
より
earlier
happens
ContentBearingPhysical
は
ReachingAgreement
の
instance
では
Agreement
2 は
時間間隔
の
agent
では
ContentBearingPhysical
は
命題
の情報を
contain
s
時間間隔
は
命題
の情報を
contain
s
partyToAgreement
ContentBearingPhysical
and
Agreement
partyToAgreement
ContentBearingPhysical
and
Agreement
2
(=>
(
and
(
instance
?DECODE
Decoding
)
(
patient
?DECODE ?DOC1))
(
exists
(?ENCODE ?DOC2 ?TIME ?PROP)
(
and
(
containsInformation
?DOC2 ?PROP)
(
containsInformation
?DOC1 ?PROP)
(
temporalPart
?TIME
(
PastFn
(
WhenFn
?DECODE)))
(
holdsDuring
?TIME
(
and
(
instance
?ENCODE
Encoding
)
(
patient
?ENCODE ?DOC2))))))
Merge.kif 12869-12882
工程
は
復号化
の
instance
では
ContentBearingPhysical
は
工程
の
patient
では
エンティティー
ContentBearingPhysical
,
時間位置
and
命題
ContentBearingPhysical
は
命題
の情報を
contain
s
ContentBearingPhysical
は
命題
の情報を
contain
s
時間位置
は
工程
の
time
の existence の
before
の
part
では
エンティティー
は
符号化
の
instance
では
ContentBearingPhysical
は
エンティティー
の
patient
では は
時間位置
の
during
holds
(=>
(
and
(
instance
?EVENT
Planning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
))
(
exists
(?PLAN)
(
and
(
instance
?PLAN
Plan
)
(
containsInformation
?CBO ?PLAN))))
Merge.kif 10978-10986
工程
は
計画
の
instance
では
ContentBearingPhysical
は
工程
の
result
では
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では
命題
命題
は
計画
の
instance
では
ContentBearingPhysical
は
命題
の情報を
contain
s
(=>
(
and
(
instance
?H
Hallucination
)
(
experiencer
?H ?P))
(
exists
(?PER ?PROP)
(
and
(
instance
?PER
Perception
)
(
experiencer
?PER ?P)
(
causes
?H ?PER)
(
containsInformation
?PER ?PROP)
(
truth
?PROP
False
))))
Mid-level-ontology.kif 7366-7376
工程
は
Hallucination
の
instance
では
AutonomousAgent
が
工程
を
experience
s
AutonomousAgent
ER
AutonomousAgent
ROP
AutonomousAgent
ER は
知覚
の
instance
では
AutonomousAgent
が
AutonomousAgent
ER を
experience
s
工程
は
AutonomousAgent
ER を
cause
s
AutonomousAgent
ER は
AutonomousAgent
ROP の情報を
contain
s
AutonomousAgent
ROP
is
False
(=>
(
and
(
instance
?INTERPRET
Interpreting
)
(
agent
?INTERPRET ?AGENT)
(
patient
?INTERPRET ?CONTENT)
(
instance
?CONTENT
ContentBearingObject
))
(
exists
(?PROP)
(
holdsDuring
(
EndFn
(
WhenFn
?INTERPRET))
(
believes
?AGENT
(
containsInformation
?CONTENT ?PROP)))))
Merge.kif 11001-11008
工程
は
Interpreting
の
instance
では
AutonomousAgent
は
工程
の
agent
では
エンティティー
は
工程
の
patient
では
エンティティー
は
コンテンツベアリングオブジェクト
の
instance
では
エンティティー
AutonomousAgent
は
エンティティー
は
エンティティー
の情報を
contain
s を
believe
s は
工程
の
time
の existence の
end
の
during
holds
(=>
(
and
(
instance
?P
Decoding
)
(
agent
?P ?A))
(
exists
(?CODE)
(
or
(
knows
?A ?CODE)
(
exists
(?OBJ)
(
and
(
instrument
?P ?OBJ)
(
containsInformation
?OBJ ?CODE))))))
QoSontology.kif 2313-2323
工程
は
復号化
の
instance
では
認識エージェント
は
工程
の
agent
では
公式
認識エージェント
は
公式
を
know
s
オブジェクト
オブジェクト
は
工程
の
instrument
では
オブジェクト
は
公式
の情報を
contain
s
(=>
(
and
(
instance
?P
Encoding
)
(
agent
?P ?A))
(
exists
(?CODE)
(
or
(
knows
?A ?CODE)
(
exists
(?OBJ)
(
and
(
instrument
?P ?OBJ)
(
containsInformation
?OBJ ?CODE))))))
QoSontology.kif 2301-2311
工程
は
符号化
の
instance
では
認識エージェント
は
工程
の
agent
では
公式
認識エージェント
は
公式
を
know
s
オブジェクト
オブジェクト
は
工程
の
instrument
では
オブジェクト
は
公式
の情報を
contain
s
(=>
(
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
では
物理
は
工程
の
instance
では
命題
は
物理
を
express
es
命題
NING
ContentBearingPhysical
命題
NING は
計画
の
instance
では
ContentBearingPhysical
は
ContentBearingPhysical
の
instance
では
ContentBearingPhysical
は
命題
の情報を
contain
s
ContentBearingPhysical
は
命題
NING の
result
では
命題
NING の
time
の existence の
beginning
は
物理
の
time
の existence の
beginning
より
earlier
happens
命題
NING の
time
の existence の
end
は
物理
の
time
の existence の
end
より
earlier
happens
(=>
(
and
(
instance
?POLICY
ChildrenPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?CUST1)
(
and
(
customer
?CUST1 ?AGENT)
(
instance
?CUST1
HumanChild
)))
Possibility
))
(
containsInformation
?POLICY
(
not
(
modalAttribute
(
exists
(?CUST2)
(
and
(
customer
?CUST2 ?AGENT)
(
instance
?CUST2
HumanChild
)))
Possibility
)))))
Hotel.kif 2546-2564
Policy
は
ChildrenPolicy
の
instance
では
policyOwner
組織
and
Policy
policyLocationCoverage
Policy
and
オブジェクト
Policy
は ステートメント
エンティティー
customer
エンティティー
and
組織
エンティティー
は
HumanChild
の
instance
では には
Possibility
の
modal
force
が ある の情報を
contain
s
Policy
は ステートメント
エンティティー
customer
エンティティー
and
組織
エンティティー
は
HumanChild
の
instance
では には
Possibility
の
modal
force
が ない の情報を
contain
s
(=>
(
and
(
instance
?POLICY
PetPolicy
)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?PET1)
(
and
(
instance
?PET1
DomesticAnimal
)
(
located
?PET1 ?LOC)))
Permission
))
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?PET2)
(
and
(
instance
?PET2
DomesticAnimal
)
(
located
?PET2 ?LOC)))
Prohibition
))))
Hotel.kif 2523-2539
Policy
は
PetPolicy
の
instance
では
policyLocationCoverage
Policy
and
オブジェクト
Policy
は ステートメント
エンティティー
エンティティー
は
DomesticAnimal
の
instance
では
エンティティー
は
オブジェクト
に
located
して には
Permission
の
modal
force
が ある の情報を
contain
s
Policy
は ステートメント
エンティティー
エンティティー
は
DomesticAnimal
の
instance
では
エンティティー
は
オブジェクト
に
located
して には
Prohibition
の
modal
force
が ある の情報を
contain
s
(=>
(
and
(
instance
?POLICY
SmokingPolicy
)
(
policyLocationCoverage
?POLICY ?LOC))
(
or
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?SMOKE1)
(
and
(
instance
?SMOKE1
Smoking
)
(
located
?SMOKE1 ?LOC)))
Permission
))
(
containsInformation
?POLICY
(
modalAttribute
(
exists
(?SMOKE2)
(
and
(
instance
?SMOKE2
Smoking
)
(
located
?SMOKE2 ?LOC)))
Prohibition
))))
Hotel.kif 2500-2516
Policy
は
SmokingPolicy
の
instance
では
policyLocationCoverage
Policy
and
オブジェクト
Policy
は ステートメント
エンティティー
エンティティー
は
Smoking
の
instance
では
エンティティー
は
オブジェクト
に
located
して には
Permission
の
modal
force
が ある の情報を
contain
s
Policy
は ステートメント
エンティティー
エンティティー
は
Smoking
の
instance
では
エンティティー
は
オブジェクト
に
located
して には
Prohibition
の
modal
force
が ある の情報を
contain
s
(=>
(
and
(
instance
?PROP
Proposition
)
(
instance
?TEXT
(
DocumentFn
?PROP)))
(
exists
(?DOC)
(
containsInformation
?DOC ?TEXT)))
Geography.kif 3176-3181
命題
は
命題
の
instance
では
命題
は
DocumentFn
命題
の
instance
では
ContentBearingPhysical
ContentBearingPhysical
は
命題
の情報を
contain
s
(=>
(
and
(
instance
?S
LegalSummons
)
(
patient
?S ?O)
(
destination
?S ?P))
(
exists
(?C ?T)
(
and
(
instance
?C
CourtRoom
)
(
containsInformation
?O
(
modalAttribute
(
holdsDuring
?T
(
located
?P ?C))
Law
)))))
Mid-level-ontology.kif 17614-17626
工程
は
LegalSummons
の
instance
では
ContentBearingPhysical
は
工程
の
patient
では
工程
は
エンティティー
に
end
s
エンティティー
エンティティー
エンティティー
は
CourtRoom
の
instance
では
ContentBearingPhysical
は ステートメント
エンティティー
は
エンティティー
に
located
して は
エンティティー
の
during
holds には
Law
の
modal
force
が ある の情報を
contain
s
(=>
(
and
(
instance
?X
Photocopier
)
(
instrument
?COPY ?X)
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
TwoDimensionalObject
)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO))
(
exists
(?OBJ2 ?SHEET)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
TwoDimensionalObject
)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO)
(
located
?OBJ2 ?SHEET)
(
instance
?SHEET
PrintedSheet
))))
Mid-level-ontology.kif 28198-28214
オブジェクト
は
Photocopier
の
instance
では
オブジェクト
は
工程
の
instrument
では
工程
は
Photocopying
の
instance
では
ContentBearingPhysical
は
工程
の
patient
では
ContentBearingPhysical
は
TwoDimensionalObject
の
instance
では
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では
ContentBearingPhysical
は
命題
の情報を
contain
s
ContentBearingPhysical
オブジェクト
ContentBearingPhysical
は
工程
の
result
では
ContentBearingPhysical
は
TwoDimensionalObject
の
instance
では
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では
ContentBearingPhysical
は
命題
の情報を
contain
s
ContentBearingPhysical
は
オブジェクト
に
located
して
オブジェクト
は
PrintedSheet
の
instance
では
(=>
(
and
(
subsumesContentInstance
?OBJ1 ?OBJ2)
(
containsInformation
?OBJ2 ?INFO))
(
containsInformation
?OBJ1 ?INFO))
Merge.kif 4617-4621
ContentBearingPhysical
は
ContentBearingPhysical
の コンテンツを
subsume
s
ContentBearingPhysical
は
命題
の情報を
contain
s
ContentBearingPhysical
は
命題
の情報を
contain
s
(=>
(
dateOfStatement
?Statement ?Date)
(
exists
(?Copy)
(
and
(
containsInformation
?Copy ?Statement)
(
date
?Copy ?Date))))
FinancialOntology.kif 4049-4054
dateOfStatement
BankStatement
and
日
ContentBearingPhysical
ContentBearingPhysical
は
BankStatement
の情報を
contain
s
ContentBearingPhysical
の
date
は
日
では
(=>
(
finalExperimentReport
?CBP ?EXPERIMENT)
(
exists
(?RESULT)
(
and
(
result
?EXPERIMENT ?RESULT)
(
containsInformation
?CBP ?RESULT))))
UXExperimentalTerms.kif 2702-2707
finalExperimentReport
ContentBearingPhysical
and
Experimenting
命題
命題
は
Experimenting
の
result
では
ContentBearingPhysical
は
命題
の情報を
contain
s
(=>
(
instance
?ACTION
CriminalAction
)
(
exists
(?LAW ?CONTENT ?CRIME)
(
and
(
modalAttribute
?LAW
Law
)
(
containsInformation
?LAW ?CONTENT)
(
realization
?ACTION ?CRIME)
(
not
(
consistent
?CONTENT ?CRIME)))))
Mid-level-ontology.kif 15233-15240
工程
は
CriminalAction
の
instance
では
公式
命題
and
命題
ステートメント
公式
には
Law
の
modal
force
が ある
公式
は
命題
の情報を
contain
s
工程
は
命題
の内容を
express
es
consistent
命題
and
命題
(=>
(
instance
?ARGUE
Arguing
)
(
exists
(?STATEMENT ?ARGUMENT)
(
and
(
patient
?ARGUE ?STATEMENT)
(
instance
?STATEMENT
Statement
)
(
containsInformation
?STATEMENT ?ARGUMENT)
(
instance
?ARGUMENT
Argument
))))
Mid-level-ontology.kif 902-909
工程
は
Arguing
の
instance
では
ContentBearingPhysical
命題
ContentBearingPhysical
は
工程
の
patient
では
ContentBearingPhysical
は
Statement
の
instance
では
ContentBearingPhysical
は
命題
の情報を
contain
s
命題
は
Argument
の
instance
では
(=>
(
instance
?BEST_OFFER
BestOffering
)
(
and
(
containsInformation
?BEST_OFFER
(
exists
(?BUYING ?AGENT ?OBJECT ?MONEY1 ?U)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?AGENT)
(
patient
?BUYING ?OBJECT)
(
transactionAmount
?BUYING
(
MeasureFn
?MONEY1 ?U)))))
(
not
(
exists
(?OFFER2)
(
containsInformation
?OFFER2
(
exists
(?BUYING2 ?AGENT2 ?MONEY2)
(
and
(
instance
?BUYING2
Buying
)
(
agent
?BUYING2 ?AGENT2)
(
patient
?BUYING2 ?OBJECT)
(
transactionAmount
?BUYING2
(
MeasureFn
?MONEY2 ?U))
(
greaterThan
?MONEY2 ?MONEY1))))))))
UXExperimentalTerms.kif 1654-1675
エンティティー
_OFFER は
BestOffering
の
instance
では
エンティティー
_OFFER は
エンティティー
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
購買
の
instance
では
エンティティー
は
エンティティー
の
agent
では
エンティティー
は
エンティティー
の
patient
では
transactionAmount
エンティティー
and
エンティティー
の
エンティティー
(s) の情報を
contain
s
ContentBearingPhysical
ContentBearingPhysical
は
エンティティー
2
エンティティー
2 and
エンティティー
エンティティー
2 は
購買
の
instance
では
エンティティー
2 は
エンティティー
2 の
agent
では
エンティティー
は
エンティティー
2 の
patient
では
transactionAmount
エンティティー
2 and
エンティティー
の
エンティティー
(s)
エンティティー
は
エンティティー
より
greater
では の情報を
contain
s
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
decreasesLikelihood
(
exists
(?X ?CUT ?PAPER ?CBO ?INFO)
(
and
(
instance
?X
PaperShredder
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?X)
(
instance
?PAPER
Paper
)
(
patient
?CUT ?PAPER)
(
located
?CBO ?PAPER)
(
instance
?CBO
VisualContentBearingObject
)
(
containsInformation
?CBO ?INFO)))
(
exists
(?READ)
(
and
(
instance
?READ
Interpreting
)
(
patient
?READ ?INFO)
(
earlier
(
WhenFn
?CUT)
(
WhenFn
?READ)))))
Mid-level-ontology.kif 19773-19790
?X ?CUT, ?PAPER, ?CBO and ?INFO ?X は
PaperShredder
の
instance
では ?CUT は
切断
の
instance
では ?X は ?CUT の
instrument
では ?PAPER は
Paper
の
instance
では ?PAPER は ?CUT の
patient
では ?CBO は ?PAPER に
located
して ?CBO は
VisualContentBearingObject
の
instance
では ?CBO は ?INFO の情報を
contain
s は ?READ ?READ は
Interpreting
の
instance
では ?INFO は ?READ の
patient
では ?CUT の
time
の existence は ?READ の
time
の existence より
earlier
happens を
decrease
s 可能性がある
appearance as argument number 0
(
containsInformation
(
forall
(?AGENT ?VOTER ?ELECTION ?VOTING)
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?AGENT))
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER))
(
attribute
?VOTER
Male
)))
ExclusiveMaleSuffrage
)
Government.kif 1203-1210
?AGENT ?VOTER, ?ELECTION and ?VOTING
?ELECTION は
ElectionFn
?AGENT の
instance
では ?VOTING は
VotingFn
?ELECTION の
instance
では ?VOTER は ?VOTING の
agent
では
Male
は ?VOTER の
attribute
では
は
ExclusiveMaleSuffrage
の情報を
contain
s
(
containsInformation
(
forall
(?COUNTRY ?ELECTION ?VOTING ?VOTER)
(=>
(
and
(
instance
?COUNTRY
Nation
)
(
instance
?ELECTION
(
ElectionFn
?COUNTRY))
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER))
(
citizen
?VOTER ?COUNTRY)))
VoterCitizenshipRequirement
)
Government.kif 885-893
?COUNTRY ?ELECTION, ?VOTING and ?VOTER
?COUNTRY は
国民
の
instance
では ?ELECTION は
ElectionFn
?COUNTRY の
instance
では ?VOTING は
VotingFn
?ELECTION の
instance
では ?VOTER は ?VOTING の
agent
では
?VOTER は ?COUNTRY% の
citizen
では
は
VoterCitizenshipRequirement
の情報を
contain
s
(
containsInformation
(
forall
(?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?AGENT ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
capability
(
VotingFn
?ELECTION)
agent
?AGENT)))
UniversalSuffrageLaw
)
Government.kif 1054-1065
?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
?AGENT は ?POLITY% の
citizen
では
suffrageAgeMinimum
?POLITY and ?VOTINGAGE の
YearDuration
(s) ?AGENT の
age
は ?AGE の
YearDuration
(s) では ?AGE は ?VOTINGAGE
greater
では ?ELECTION は
ElectionFn
?POLITY の
instance
では
?AGENT は
VotingFn
?ELECTION を
agent
として行う
capable
では
は
UniversalSuffrageLaw
の情報を
contain
s
(
containsInformation
(
forall
(?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE)
(=>
(
and
(
citizen
?VOTER ?POLITY)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
))
(
age
?VOTER
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE)
(
instance
?ELECTION
(
ElectionFn
?POLITY)))
(
exists
(?VOTING)
(
and
(
instance
?VOTING
(
VotingFn
?ELECTION))
(
agent
?VOTING ?VOTER)))))
CompulsorySuffrageLaw
)
Government.kif 1122-1136
?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
?VOTER は ?POLITY% の
citizen
では
suffrageAgeMinimum
?POLITY and ?VOTINGAGE の
YearDuration
(s) ?VOTER の
age
は ?AGE の
YearDuration
(s) では ?AGE は ?VOTINGAGE
greater
では ?ELECTION は
ElectionFn
?POLITY の
instance
では
?VOTING ?VOTING は
VotingFn
?ELECTION の
instance
では ?VOTER は ?VOTING の
agent
では
は
CompulsorySuffrageLaw
の情報を
contain
s
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