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
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 1360-1364
(
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 1357-1357
containsInformation
の数値 1 引数は
ContentBearingPhysical
の
instance
では %n
(
domain
containsInformation
2
Proposition
)
Merge.kif 1358-1358
containsInformation
の数値 2 引数は
命題
の
instance
では %n
(
instance
containsInformation
AsymmetricRelation
)
Merge.kif 1355-1355
containsInformation
は
非対称関係
の
instance
では %n
(
instance
containsInformation
BinaryPredicate
)
Merge.kif 1354-1354
containsInformation
は
2進述語
の
instance
では %n
(
relatedInternalConcept
containsInformation
containsFormula
)
Merge.kif 1369-1369
containsInformation
は
containsFormula
に
internally
関連して %n
(
subrelation
containsInformation
represents
)
Merge.kif 1356-1356
containsInformation
は
represents
の
subrelation
では %n
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 1329-1329
コンテンツベアリングオブジェクト
は
containsInformation
に
internally
関連して %n
(
relatedInternalConcept
realization
containsInformation
)
Merge.kif 4600-4600
realization
は
containsInformation
に
internally
関連して %n
(
subrelation
accountInformation
containsInformation
)
ComputingBrands.kif 4409-4409
accountInformation
は
containsInformation
の
subrelation
では %n
(
subrelation
programCopy
containsInformation
)
QoSontology.kif 635-635
programCopy
は
containsInformation
の
subrelation
では %n
(
termFormat
ChineseLanguage
containsInformation
"包含信息")
chinese_format.kif 82-82
(
termFormat
ChineseTraditionalLanguage
containsInformation
"包含信息")
domainEnglishFormat.kif 16937-16937
(
termFormat
EnglishLanguage
containsInformation
"contains information")
domainEnglishFormat.kif 16936-16936
(
termFormat
de
containsInformation
"enthaeltInformationen")
terms-de.txt 25-25
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 26317-26328
工程
は
Photocopying
の
instance
では %n
ContentBearingPhysical
は
工程
の
patient
では %n
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
命題
ContentBearingPhysical
は
工程
の
result
では %n
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
命題
は
命題
と
equal
では %n
(=>
(
and
(
agreementEffectiveDuring
?AGR ?DATE)
(
instance
?TIME ?DATE)
(
instance
?FORMULA
Formula
)
(
containsInformation
?FORMULA ?AGR))
(
holdsDuring
?TIME ?FORMULA))
Government.kif 766-772
agreementEffectiveDuring
命題
and
時間位置
時間位置
は
時間位置
の
instance
では %n
公式
は
公式
の
instance
では %n
公式
は
命題
の情報を
contain
s %n{ない}
公式
は
時間位置
の
during
holds %n{ない}
(=>
(
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 29627-29641
時間間隔
は
Confirming
の
instance
では %n
Agreement
は
時間間隔
の
agent
では %n
時間間隔
は
命題
の情報を
contain
s %n{ない}
時間間隔
ContentBearingPhysical
and
Agreement
2
時間間隔
は
記載
の
instance
では %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
ContentBearingPhysical
は
ReachingAgreement
の
instance
では %n
Agreement
2 は
時間間隔
の
agent
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
時間間隔
は
命題
の情報を
contain
s %n{ない}
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 774-783
命題
は
ConstitutionFn
地政学的地域
の
instance
では %n
地政学的地域
は
国民
の
instance
では %n
政府
は
地政学的地域
の
government
と
equal
では %n
政府
の
time
の existence は
時間位置
の
instance
では %n
agreementEffectiveDuring
命題
and
時間位置
命題
は
命題
の
sub
-proposition では %n
公式
は
命題
の情報を
contain
s %n{ない}
政府
はタイプ
公式
のタスクを実行する
obliged
%n
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
ContentBearingPhysical
は
ContractDocument
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
命題
には
attribute
Contract
%n{ない}
命題
には
attribute
Law
%n{ない}
(=>
(
and
(
instance
?EVENT
OperationPlanning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?INFO))
(
instance
?INFO
OperationPlan
))
MilitaryProcesses.kif 1527-1533
工程
は
OperationPlanning
の
instance
では %n
ContentBearingPhysical
は
工程
の
result
では %n
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
命題
は
OperationPlan
の
instance
では %n
(=>
(
and
(
instance
?PLAN
OperationPlan
)
(
containsInformation
?CBO ?PLAN)
(
instance
?CBO
ContentBearingObject
)
(
result
?EVENT ?CBO))
(
instance
?EVENT
OperationPlanning
))
MilitaryProcesses.kif 1535-1541
命題
は
OperationPlan
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
ContentBearingPhysical
は
工程
の
result
では %n
工程
は
OperationPlanning
の
instance
では %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
?PLAN
Plan
)
(
instance
?OBJ
ContentBearingObject
)
(
containsInformation
?OBJ ?PLAN))
(
exists
(?PLANNING)
(
and
(
instance
?PLANNING
Planning
)
(
result
?PLANNING ?OBJ))))
Merge.kif 16824-16832
命題
は
計画
の
instance
では %n
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
命題
NING
命題
NING は
計画
の
instance
では %n
ContentBearingPhysical
は
命題
NING の
result
では %n
(=>
(
and
(
instance
?PLANNING
JointOperationPlanning
)
(
result
?PLANNING ?CBO)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?INFO))
(
instance
?INFO
OPLAN
))
MilitaryProcesses.kif 1812-1818
工程
は
JointOperationPlanning
の
instance
では %n
ContentBearingPhysical
は
工程
の
result
では %n
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
命題
は
OPLAN
の
instance
では %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
?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
では %n
工程
は
SpeakingAtASlowerRate
の
instance
では %n
測定単位
は
UnitOfDuration
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
命題
の情報を
contain
s %n{ない}
工程
は
命題
の情報を
contain
s %n{ない}
工程
の
time
の existence の
duration
は
実数
の
測定単位
(s) では %n
工程
の
time
の existence の
duration
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
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 26287-26303
オブジェクト
は
Photocopier
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
工程
は
Photocopying
の
instance
では %n
ContentBearingPhysical
は
工程
の
patient
では %n
ContentBearingPhysical
は
TwoDimensionalObject
の
instance
では %n
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
オブジェクト
ContentBearingPhysical
は
工程
の
result
では %n
ContentBearingPhysical
は
TwoDimensionalObject
の
instance
では %n
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
は
オブジェクト
に
located
して %n
オブジェクト
は
PrintedSheet
の
instance
では %n
(=>
(
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
では %n
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
ContentBearingPhysical
は
公式
の情報を
contain
s %n{ない}
AutonomousAgent
は
コンテンツベアリングオブジェクト
の
author
では %n
組織
組織
は組織
USMilitary
の一部では %n
AutonomousAgent
は
組織
にタイプ
公式
のタスクを実行する
obligate
s %n{ない}
(=>
(
and
(
subsumesContentInstance
?OBJ1 ?OBJ2)
(
containsInformation
?OBJ2 ?INFO))
(
containsInformation
?OBJ1 ?INFO))
Merge.kif 4589-4593
ContentBearingPhysical
は
ContentBearingPhysical
の コンテンツを
subsume
s %n{ない}
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
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 26317-26328
工程
は
Photocopying
の
instance
では %n
ContentBearingPhysical
は
工程
の
patient
では %n
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
命題
ContentBearingPhysical
は
工程
の
result
では %n
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
命題
は
命題
と
equal
では %n
(=>
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
and
(
exists
(?CLAUSE)
(
containsInformation
?CLAUSE ?PROP))
(
partyToAgreement
?AGENT ?AGREEMENT)))
Mid-level-ontology.kif 14071-14076
agreementClause
命題
,
義務的な属性
,
Agreement
and
認識エージェント
ContentBearingPhysical
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
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 1029-1038
地政学的地域
は
地政学的地域
の
instance
では %n
suffrageAgeMaximum
地政学的地域
and
時間分
時間分
RULE
時間分
RULE は
VoterAgeRequirement
の
instance
では %n
時間分
RULE は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
suffrageAgeMaximum
地政学的地域
and
時間分
は
時間分
RULE の情報を
contain
s %n{ない}
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
suffrageAgeMinimum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMinimum
?AREA ?AGE) ?AGERULE))))
Government.kif 957-966
地政学的地域
は
地政学的地域
の
instance
では %n
suffrageAgeMinimum
地政学的地域
and
時間分
時間分
RULE
時間分
RULE は
VoterAgeRequirement
の
instance
では %n
時間分
RULE は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
suffrageAgeMinimum
地政学的地域
and
時間分
は
時間分
RULE の情報を
contain
s %n{ない}
(=>
(
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 16864-16873
Argument
は
ValidDeductiveArgument
の
instance
では %n
公式
は 引数
Argument
の
premises
と
equal
では %n 引数
公式
の 結論は
Argument
です
ContentBearingPhysical
ContentBearingPhysical
ContentBearingPhysical
は
公式
の情報を
contain
s %n{ない}
ContentBearingPhysical
は
公式
の情報を
contain
s %n{ない}
公式
は
公式
を
entail
s %n{ない}
(=>
(
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 29627-29641
時間間隔
は
Confirming
の
instance
では %n
Agreement
は
時間間隔
の
agent
では %n
時間間隔
は
命題
の情報を
contain
s %n{ない}
時間間隔
ContentBearingPhysical
and
Agreement
2
時間間隔
は
記載
の
instance
では %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
ContentBearingPhysical
は
ReachingAgreement
の
instance
では %n
Agreement
2 は
時間間隔
の
agent
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
時間間隔
は
命題
の情報を
contain
s %n{ない}
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 12737-12750
工程
は
復号化
の
instance
では %n
ContentBearingPhysical
は
工程
の
patient
では %n
エンティティー
ContentBearingPhysical
,
時間位置
and
命題
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
時間位置
は
工程
の
time
の existence の
before
の
part
では %n
エンティティー
は
符号化
の
instance
では %n
ContentBearingPhysical
は
エンティティー
の
patient
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?EVENT
Planning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
))
(
exists
(?PLAN)
(
and
(
instance
?PLAN
Plan
)
(
containsInformation
?CBO ?PLAN))))
Merge.kif 10862-10870
工程
は
計画
の
instance
では %n
ContentBearingPhysical
は
工程
の
result
では %n
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
命題
命題
は
計画
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
(=>
(
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 6428-6438
工程
は
Hallucination
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
ER
AutonomousAgent
ROP
AutonomousAgent
ER は
知覚
の
instance
では %n
AutonomousAgent
が
AutonomousAgent
ER を
experience
s %n{ない}
工程
は
AutonomousAgent
ER を
cause
s %n{ない}
AutonomousAgent
ER は
AutonomousAgent
ROP の情報を
contain
s %n{ない}
AutonomousAgent
ROP
is
False
%n
(=>
(
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 10885-10892
工程
は
Interpreting
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
コンテンツベアリングオブジェクト
の
instance
では %n
エンティティー
AutonomousAgent
は
エンティティー
は
エンティティー
の情報を
contain
s %n{ない} を
believe
s %n{ない} は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?P
Decoding
)
(
agent
?P ?A))
(
exists
(?CODE)
(
or
(
knows
?A ?CODE)
(
exists
(?OBJ)
(
and
(
instrument
?P ?OBJ)
(
containsInformation
?OBJ ?CODE))))))
QoSontology.kif 2181-2191
工程
は
復号化
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
公式
認識エージェント
は
公式
を
know
s %n{ない}
オブジェクト
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
公式
の情報を
contain
s %n{ない}
(=>
(
and
(
instance
?P
Encoding
)
(
agent
?P ?A))
(
exists
(?CODE)
(
or
(
knows
?A ?CODE)
(
exists
(?OBJ)
(
and
(
instrument
?P ?OBJ)
(
containsInformation
?OBJ ?CODE))))))
QoSontology.kif 2169-2179
工程
は
符号化
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
公式
認識エージェント
は
公式
を
know
s %n{ない}
オブジェクト
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
公式
の情報を
contain
s %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
?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 2535-2553
Policy
は
ChildrenPolicy
の
instance
では %n
policyOwner
組織
and
Policy
policyLocationCoverage
Policy
and
オブジェクト
Policy
は ステートメント
エンティティー
customer
エンティティー
and
組織
エンティティー
は
HumanChild
の
instance
では %n には
Possibility
の
modal
force
が ある の情報を
contain
s %n{ない}
Policy
は ステートメント
エンティティー
customer
エンティティー
and
組織
エンティティー
は
HumanChild
の
instance
では %n には
Possibility
の
modal
force
が ない %p{ある} の情報を
contain
s %n{ない}
(=>
(
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 2512-2528
Policy
は
PetPolicy
の
instance
では %n
policyLocationCoverage
Policy
and
オブジェクト
Policy
は ステートメント
エンティティー
エンティティー
は
DomesticAnimal
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n には
Permission
の
modal
force
が ある の情報を
contain
s %n{ない}
Policy
は ステートメント
エンティティー
エンティティー
は
DomesticAnimal
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n には
Prohibition
の
modal
force
が ある の情報を
contain
s %n{ない}
(=>
(
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 2489-2505
Policy
は
SmokingPolicy
の
instance
では %n
policyLocationCoverage
Policy
and
オブジェクト
Policy
は ステートメント
エンティティー
エンティティー
は
Smoking
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n には
Permission
の
modal
force
が ある の情報を
contain
s %n{ない}
Policy
は ステートメント
エンティティー
エンティティー
は
Smoking
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n には
Prohibition
の
modal
force
が ある の情報を
contain
s %n{ない}
(=>
(
and
(
instance
?PROP
Proposition
)
(
instance
?TEXT
(
DocumentFn
?PROP)))
(
exists
(?DOC)
(
containsInformation
?DOC ?TEXT)))
Geography.kif 3018-3023
命題
は
命題
の
instance
では %n
命題
は
DocumentFn
命題
の
instance
では %n
ContentBearingPhysical
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
(=>
(
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 16226-16238
工程
は
LegalSummons
の
instance
では %n
ContentBearingPhysical
は
工程
の
patient
では %n
工程
は
エンティティー
に
end
s %n{ない}
エンティティー
エンティティー
エンティティー
は
CourtRoom
の
instance
では %n
ContentBearingPhysical
は ステートメント
エンティティー
は
エンティティー
に
located
して %n は
エンティティー
の
during
holds %n{ない} には
Law
の
modal
force
が ある の情報を
contain
s %n{ない}
(=>
(
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 26287-26303
オブジェクト
は
Photocopier
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
工程
は
Photocopying
の
instance
では %n
ContentBearingPhysical
は
工程
の
patient
では %n
ContentBearingPhysical
は
TwoDimensionalObject
の
instance
では %n
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
オブジェクト
ContentBearingPhysical
は
工程
の
result
では %n
ContentBearingPhysical
は
TwoDimensionalObject
の
instance
では %n
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
は
オブジェクト
に
located
して %n
オブジェクト
は
PrintedSheet
の
instance
では %n
(=>
(
and
(
subsumesContentInstance
?OBJ1 ?OBJ2)
(
containsInformation
?OBJ2 ?INFO))
(
containsInformation
?OBJ1 ?INFO))
Merge.kif 4589-4593
ContentBearingPhysical
は
ContentBearingPhysical
の コンテンツを
subsume
s %n{ない}
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
(=>
(
dateOfStatement
?Statement ?Date)
(
exists
(?Copy)
(
and
(
containsInformation
?Copy ?Statement)
(
date
?Copy ?Date))))
FinancialOntology.kif 4031-4036
dateOfStatement
BankStatement
and
日
ContentBearingPhysical
ContentBearingPhysical
は
BankStatement
の情報を
contain
s %n{ない}
ContentBearingPhysical
の
date
は
日
では
(=>
(
finalExperimentReport
?CBP ?EXPERIMENT)
(
exists
(?RESULT)
(
and
(
result
?EXPERIMENT ?RESULT)
(
containsInformation
?CBP ?RESULT))))
UXExperimentalTerms.kif 2702-2707
finalExperimentReport
ContentBearingPhysical
and
Experimenting
命題
命題
は
Experimenting
の
result
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
(=>
(
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 13861-13868
工程
は
CriminalAction
の
instance
では %n
公式
命題
and
命題
ステートメント
公式
には
Law
の
modal
force
が ある
公式
は
命題
の情報を
contain
s %n{ない}
工程
は
命題
の内容を
express
es %n{ない}
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 909-916
工程
は
Arguing
の
instance
では %n
ContentBearingPhysical
命題
ContentBearingPhysical
は
工程
の
patient
では %n
ContentBearingPhysical
は
Statement
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
命題
は
Argument
の
instance
では %n
(=>
(
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
では %n
エンティティー
_OFFER は
エンティティー
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
購買
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
transactionAmount
エンティティー
and
エンティティー
の
エンティティー
(s) の情報を
contain
s %n{ない}
ContentBearingPhysical
ContentBearingPhysical
は
エンティティー
2
エンティティー
2 and
エンティティー
エンティティー
2 は
購買
の
instance
では %n
エンティティー
2 は
エンティティー
2 の
agent
では %n
エンティティー
は
エンティティー
2 の
patient
では %n
transactionAmount
エンティティー
2 and
エンティティー
の
エンティティー
(s)
エンティティー
は
エンティティー
より
greater
では %n の情報を
contain
s %n{ない}
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 18201-18218
?X ?CUT, ?PAPER, ?CBO and ?INFO ?X は
PaperShredder
の
instance
では %n ?CUT は
切断
の
instance
では %n ?X は ?CUT の
instrument
では %n ?PAPER は
Paper
の
instance
では %n ?PAPER は ?CUT の
patient
では %n ?CBO は ?PAPER に
located
して %n ?CBO は
VisualContentBearingObject
の
instance
では %n ?CBO は ?INFO の情報を
contain
s %n{ない} は ?READ ?READ は
Interpreting
の
instance
では %n ?INFO は ?READ の
patient
では %n ?CUT の
time
の existence は ?READ の
time
の existence より
earlier
happens %n{ない} を
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 1241-1248
?AGENT ?VOTER, ?ELECTION and ?VOTING
?ELECTION は
ElectionFn
?AGENT の
instance
では %n ?VOTING は
VotingFn
?ELECTION の
instance
では %n ?VOTER は ?VOTING の
agent
では %n
Male
は ?VOTER の
attribute
では %n
は
ExclusiveMaleSuffrage
の情報を
contain
s %n{ない}
(
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 923-931
?COUNTRY ?ELECTION, ?VOTING and ?VOTER
?COUNTRY は
国民
の
instance
では %n ?ELECTION は
ElectionFn
?COUNTRY の
instance
では %n ?VOTING は
VotingFn
?ELECTION の
instance
では %n ?VOTER は ?VOTING の
agent
では %n
?VOTER は ?COUNTRY% の
citizen
では %n
は
VoterCitizenshipRequirement
の情報を
contain
s %n{ない}
(
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 1092-1103
?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
?AGENT は ?POLITY% の
citizen
では %n
suffrageAgeMinimum
?POLITY and ?VOTINGAGE の
YearDuration
(s) ?AGENT の
age
は ?AGE の
YearDuration
(s) では ?AGE は ?VOTINGAGE
greater
では %n ?ELECTION は
ElectionFn
?POLITY の
instance
では %n
?AGENT は
VotingFn
?ELECTION を
agent
として行う
capable
では %n
は
UniversalSuffrageLaw
の情報を
contain
s %n{ない}
(
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 1160-1174
?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
?VOTER は ?POLITY% の
citizen
では %n
suffrageAgeMinimum
?POLITY and ?VOTINGAGE の
YearDuration
(s) ?VOTER の
age
は ?AGE の
YearDuration
(s) では ?AGE は ?VOTINGAGE
greater
では %n ?ELECTION は
ElectionFn
?POLITY の
instance
では %n
?VOTING ?VOTING は
VotingFn
?ELECTION の
instance
では %n ?VOTER は ?VOTING の
agent
では %n
は
CompulsorySuffrageLaw
の情報を
contain
s %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