Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 1313-1317
(
domain
containsInformation
1
ContentBearingPhysical
)
Merge.kif 1310-1310
The number 1 argument of
contains information
is an
instance
of
content bearing physical
(
domain
containsInformation
2
Proposition
)
Merge.kif 1311-1311
The number 2 argument of
contains information
is an
instance
of
proposition
(
instance
containsInformation
AsymmetricRelation
)
Merge.kif 1308-1308
contains information
is an
instance
of
asymmetric relation
(
instance
containsInformation
BinaryPredicate
)
Merge.kif 1307-1307
contains information
is an
instance
of
binary predicate
(
relatedInternalConcept
containsInformation
containsFormula
)
Law.kif 23-23
contains information
is
internally
related to
contains formula
(
subrelation
containsInformation
represents
)
Merge.kif 1309-1309
contains information
is a
subrelation
of
represents
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
(
relatedInternalConcept
ContentBearingObject
containsInformation
)
Merge.kif 1282-1282
Content bearing object
is
internally
related to
contains information
(
relatedInternalConcept
realization
containsInformation
)
Merge.kif 4504-4504
realization
is
internally
related to
contains information
(
subrelation
accountInformation
containsInformation
)
ComputingBrands.kif 4372-4372
account information
is a
subrelation
of
contains information
(
subrelation
programCopy
containsInformation
)
QoSontology.kif 633-633
program copy
is a
subrelation
of
contains information
(
termFormat
ChineseLanguage
containsInformation
"包含信息")
chinese_format.kif 82-82
(
termFormat
ChineseTraditionalLanguage
containsInformation
"包含信息")
domainEnglishFormat.kif 16928-16928
(
termFormat
EnglishLanguage
containsInformation
"contains information")
domainEnglishFormat.kif 16927-16927
antecedent
(=>
(
and
(
agreementEffectiveDuring
?AGR ?DATE)
(
instance
?TIME ?DATE)
(
instance
?FORMULA
Formula
)
(
containsInformation
?FORMULA ?AGR))
(
holdsDuring
?TIME ?FORMULA))
Government.kif 752-758
If
a kind of time position
is an
agreement
effective during of
a proposition
and
another time position
is an
instance
of
a kind of time position
and
a formula
is an
instance
of
formula
and
the formula
contain
s information
the proposition
,
then
the formula
holds
during
the other time position
(=>
(
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 29027-29041
If
a time interval
is an
instance
of
Confirming
and
an agent
is an
agent
of
the time interval
and
the time interval
contain
s information
a proposition
,
then there exist
another time interval
,
a content bearing physical
and
the agent
2 such that
the other time interval
is an
instance
of
stating
and
the other time interval
happens
earlier
than
the time interval
and
the content bearing physical
is an
instance
of
ReachingAgreement
and
the agent
2 is an
agent
of
the other time interval
and
the content bearing physical
contain
s information
the proposition
and
the other time interval
contain
s information
the proposition
and
the agent
is a
party
to agreement of
the content bearing physical
and
the agent
2 is a
party
to agreement of
the content bearing physical
(=>
(
and
(
instance
?CONST
(
ConstitutionFn
?COUNTRY))
(
instance
?COUNTRY
Nation
)
(
equal
?GOV
(
GovernmentFn
?COUNTRY))
(
agreementEffectiveDuring
?CONST
(
WhenFn
?GOV))
(
subProposition
?PART ?CONST)
(
containsInformation
?FORMULA ?PART))
(
holdsObligation
?FORMULA ?GOV))
Government.kif 760-768
If
a proposition
is an
instance
of the
constitution
of
a geopolitical area
and
the geopolitical area
is an
instance
of
nation
and
a government
is
equal
to the
government
of
the geopolitical area
and the
time
of existence of
the government
is an
agreement
effective during of
the proposition
and
another proposition
is a
sub
-proposition of
the proposition
and
a formula
contain
s information
the other proposition
,
then
the government
is
obliged
to perform tasks of type
the formula
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
If
a content bearing physical
is an
instance
of
ContractDocument
and
the content bearing physical
contain
s information
a proposition
and
the proposition
the
attribute
contract
,
then
the proposition
the
attribute
law
(=>
(
and
(
instance
?EVENT
OperationPlanning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?INFO))
(
instance
?INFO
OperationPlan
))
MilitaryProcesses.kif 1527-1533
If
a process
is an
instance
of
operation planning
and
a content bearing physical
is a
result
of
the process
and
the content bearing physical
is an
instance
of
content bearing object
and
the content bearing physical
contain
s information
a proposition
,
then
the proposition
is an
instance
of
operation plan
(=>
(
and
(
instance
?PLAN
OperationPlan
)
(
containsInformation
?CBO ?PLAN)
(
instance
?CBO
ContentBearingObject
)
(
result
?EVENT ?CBO))
(
instance
?EVENT
OperationPlanning
))
MilitaryProcesses.kif 1535-1541
If
a proposition
is an
instance
of
operation plan
and
a content bearing physical
contain
s information
the proposition
and
the content bearing physical
is an
instance
of
content bearing object
and
the content bearing physical
is a
result
of
a process
,
then
the process
is an
instance
of
operation planning
(=>
(
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
?PLAN
Plan
)
(
instance
?OBJ
ContentBearingObject
)
(
containsInformation
?OBJ ?PLAN))
(
exists
(?PLANNING)
(
and
(
instance
?PLANNING
Planning
)
(
result
?PLANNING ?OBJ))))
Merge.kif 16520-16528
If
a proposition
is an
instance
of
plan
and
a content bearing physical
is an
instance
of
content bearing object
and
the content bearing physical
contain
s information
the proposition
,
then there exists
the proposition
NING such that
the proposition
NING is an
instance
of
planning
and
the content bearing physical
is a
result
of
the proposition
NING
(=>
(
and
(
instance
?PLANNING
JointOperationPlanning
)
(
result
?PLANNING ?CBO)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?INFO))
(
instance
?INFO
OPLAN
))
MilitaryProcesses.kif 1812-1818
If
a process
is an
instance
of
joint operation planning
and
a content bearing physical
is a
result
of
the process
and
the content bearing physical
is an
instance
of
content bearing object
and
the content bearing physical
contain
s information
a proposition
,
then
the proposition
is an
instance
of
OPLAN
(=>
(
and
(
instance
?PROP
Proposition
)
(
instance
?CBO
ContentBearingObject
)
(
containsInformation
?CBO ?PROP)
(
instance
?COMM
Communication
)
(
patient
?COMM ?CBO))
(
represents
?COMM ?PROP))
Geography.kif 2947-2954
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
?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 2024-2037
If
a process
is an
instance
of
speaking at a faster rate
and
another process
is an
instance
of
speaking at a slower rate
and
an unit of measure
is an
instance
of
UnitOfDuration
and
an agent
is an
agent
of
the process
and
the agent
is an
agent
of
the other process
and
the process
contain
s information
a proposition
and
the other process
contain
s information
the proposition
and
duration
of the
time
of existence of
the process
is
a real number
the unit of measure
(s) and
duration
of the
time
of existence of
the other process
is
another real number
the unit of measure
(s),
then
the real number
is
greater
than
the other real number
(=>
(
and
(
subclass
?PLATFORM
PartyPlatform
)
(
authors
?PARTY ?PLATFORM)
(
instance
?PARTY
PoliticalParty
)
(
instance
?INST ?PLATFORM)
(
containsInformation
?INST ?PROP))
(
believes
?PARTY ?PROP))
Government.kif 2316-2323
If
a kind of content bearing object
is a
subclass
of
party platform
and
a cognitive agent
is the
author
of
a kind of content bearing object
and
the cognitive agent
is an
instance
of
political party
and
a content bearing physical
is an
instance
of
the kind of content bearing object
and
the content bearing physical
contain
s information
a formula
,
then
the cognitive agent
believe
s
the formula
(=>
(
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
If
a kind of content bearing object
is a
subclass
of
joint publication
and
a content bearing physical
is an
instance
of
a kind of content bearing object
and
the content bearing physical
contain
s information
a formula
and
an agent
is the
author
of
the kind of content bearing object
,
then there exists
an organization
such that
the organization
is a part of the organization
US military
and
the agent
obligate
s
the organization
to perform task of the type
the formula
(=>
(
and
(
subsumesContentInstance
?OBJ1 ?OBJ2)
(
containsInformation
?OBJ2 ?INFO))
(
containsInformation
?OBJ1 ?INFO))
Merge.kif 4493-4497
If
a content bearing physical
subsume
s the content of
another content bearing physical
and
the other content bearing physical
contain
s information
a proposition
,
then
the content bearing physical
contain
s information
the proposition
consequent
(=>
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
and
(
exists
(?CLAUSE)
(
containsInformation
?CLAUSE ?PROP))
(
partyToAgreement
?AGENT ?AGREEMENT)))
Mid-level-ontology.kif 13538-13543
If
a cognitive agent
has the responsibility to make
a proposition
a deontic attribute
in
an agreement
,
then there exists
a content bearing physical
such that
the content bearing physical
contain
s information
the proposition
and
the agreement
is a
party
to agreement of
the cognitive agent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
suffrageAgeMaximum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMaximum
?AREA ?AGE) ?AGERULE))))
Government.kif 1014-1023
If
a geopolitical area
is an
instance
of
geopolitical area
and
a time duration
is a
suffrage
age maximum of
the geopolitical area
,
then there exists
the time duration
RULE such that
the time duration
RULE is an
instance
of
voter age requirement
and
the time duration
RULE is a
sub
-proposition of the
regional
law of
the geopolitical area
and
the time duration
is a
suffrage
age maximum of
the geopolitical area
contain
s information
the time duration
RULE
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
suffrageAgeMinimum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMinimum
?AREA ?AGE) ?AGERULE))))
Government.kif 942-951
If
a geopolitical area
is an
instance
of
geopolitical area
and
a time duration
is a
suffrage
age minimum of
the geopolitical area
,
then there exists
the time duration
RULE such that
the time duration
RULE is an
instance
of
voter age requirement
and
the time duration
RULE is a
sub
-proposition of the
regional
law of
the geopolitical area
and
the time duration
is a
suffrage
age minimum of
the geopolitical area
contain
s information
the time duration
RULE
(=>
(
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 16560-16569
If
an argument
is an
instance
of
valid deductive argument
and
a formula
is
equal
to the
premises
of argument
the argument
and the
conclusion
of argument
another formula
is
the argument
,
then there exist
a content bearing physical
and
another content bearing physical
such that
the content bearing physical
contain
s information
the formula
and
the other content bearing physical
contain
s information
the other formula
and
the formula
entail
s
the other formula
(=>
(
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 29027-29041
If
a time interval
is an
instance
of
Confirming
and
an agent
is an
agent
of
the time interval
and
the time interval
contain
s information
a proposition
,
then there exist
another time interval
,
a content bearing physical
and
the agent
2 such that
the other time interval
is an
instance
of
stating
and
the other time interval
happens
earlier
than
the time interval
and
the content bearing physical
is an
instance
of
ReachingAgreement
and
the agent
2 is an
agent
of
the other time interval
and
the content bearing physical
contain
s information
the proposition
and
the other time interval
contain
s information
the proposition
and
the agent
is a
party
to agreement of
the content bearing physical
and
the agent
2 is a
party
to agreement of
the content bearing physical
(=>
(
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 12477-12490
If
a process
is an
instance
of
decoding
and
a content bearing physical
is a
patient
of
the process
,
then there exist
an entity
,
another content bearing physical
,, ,
a time position
and
a proposition
such that
the other content bearing physical
contain
s information
the proposition
and
the content bearing physical
contain
s information
the proposition
and
the time position
is a
part
of
before
the
time
of existence of
the process
and
the entity
is an
instance
of
encoding
and
the other content bearing physical
is a
patient
of
the entity
holds
during
the time position
(=>
(
and
(
instance
?EVENT
Planning
)
(
result
?EVENT ?CBO)
(
instance
?CBO
ContentBearingObject
))
(
exists
(?PLAN)
(
and
(
instance
?PLAN
Plan
)
(
containsInformation
?CBO ?PLAN))))
Merge.kif 10726-10734
If
a process
is an
instance
of
planning
and
a content bearing physical
is a
result
of
the process
and
the content bearing physical
is an
instance
of
content bearing object
,
then there exists
a proposition
such that
the proposition
is an
instance
of
plan
and
the content bearing physical
contain
s information
the proposition
(=>
(
and
(
instance
?H
Hallucination
)
(
experiencer
?H ?P))
(
exists
(?PER)
(
and
(
instance
?PER
Perception
)
(
experiencer
?PER ?P)
(
causes
?H ?PER)
(
containsInformation
?PER ?PROP)
(
truth
?PROP
False
))))
Mid-level-ontology.kif 6098-6108
If
a process
is an
instance
of
Hallucination
and
an agent
experience
s
the process
,
then there exists
the agent
ER such that
the agent
ER is an
instance
of
perception
and
the agent
experience
s
the agent
ER and
the process
cause
s
the agent
ER and
the agent
ER
contain
s information
the agent
ROP and
the agent
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 10749-10756
If
a process
is an
instance
of
interpreting
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
content bearing object
,
then there exists
another entity
such that
the agent
believe
s
the entity
contain
s information
the other entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?P
Decoding
)
(
agent
?P ?A))
(
exists
(?CODE)
(
or
(
knows
?A ?CODE)
(
exists
(?OBJ)
(
and
(
instrument
?P ?OBJ)
(
containsInformation
?OBJ ?CODE))))))
QoSontology.kif 2186-2196
If
a process
is an
instance
of
decoding
and
a cognitive agent
is an
agent
of
the process
,
then there exists
a formula
such that
the cognitive agent
know
s
the formula
or there exists
an object
such that
the object
is an
instrument
for
the process
and
the object
contain
s information
the formula
(=>
(
and
(
instance
?P
Encoding
)
(
agent
?P ?A))
(
exists
(?CODE)
(
or
(
knows
?A ?CODE)
(
exists
(?OBJ)
(
and
(
instrument
?P ?OBJ)
(
containsInformation
?OBJ ?CODE))))))
QoSontology.kif 2174-2184
If
a process
is an
instance
of
encoding
and
a cognitive agent
is an
agent
of
the process
,
then there exists
a formula
such that
the cognitive agent
know
s
the formula
or there exists
an object
such that
the object
is an
instrument
for
the process
and
the object
contain
s information
the formula
(=>
(
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
?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 2508-2526
If
a policy
is an
instance
of
children policy
and
an organization
enacts
policy
the policy
and
the policy
covers
an object
,
then
the policy
contain
s information the statement there exists
an entity
such that
the organization
is a
customer
of
the entity
and
the entity
is an
instance
of
human child
has the
modal
force
of
possibility
or
the policy
contain
s information the statement there exists
another entity
such that
the organization
is a
customer
of
the other entity
and
the other entity
is an
instance
of
human child
doesn't have the
modal
force
of
possibility
(=>
(
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 2485-2501
If
a policy
is an
instance
of
pet policy
and
the policy
covers
an object
,
then
the policy
contain
s information the statement there exists
an entity
such that
the entity
is an
instance
of
domestic animal
and
the entity
is
located
at
the object
has the
modal
force
of
permission
or
the policy
contain
s information the statement there exists
another entity
such that
the other entity
is an
instance
of
domestic animal
and
the other entity
is
located
at
the object
has the
modal
force
of
prohibition
(=>
(
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 2462-2478
If
a policy
is an
instance
of
smoking policy
and
the policy
covers
an object
,
then
the policy
contain
s information the statement there exists
an entity
such that
the entity
is an
instance
of
smoking
and
the entity
is
located
at
the object
has the
modal
force
of
permission
or
the policy
contain
s information the statement there exists
another entity
such that
the other entity
is an
instance
of
smoking
and
the other entity
is
located
at
the object
has the
modal
force
of
prohibition
(=>
(
and
(
instance
?PROP
Proposition
)
(
instance
(
DocumentFn
?PROP)
Text
))
(
exists
(?DOC)
(
containsInformation
?DOC ?PROP)))
Geography.kif 2940-2945
If
a proposition
is an
instance
of
proposition
and the
document
of
the proposition
is an
instance
of
text
,
then there exists
a content bearing physical
such that
the content bearing physical
contain
s information
the proposition
(=>
(
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 15648-15660
If
a process
is an
instance
of
legal summons
and
a content bearing physical
is a
patient
of
the process
and
the process
end
s up at
an entity
,
then there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
court room
and
the content bearing physical
contain
s information the statement
the entity
is
located
at
the other entity
holds
during
the third entity
has the
modal
force
of
law
(=>
(
and
(
instance
?X
PaperShredder
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?X))
(
hasPurpose
?CUT
(=>
(
and
(
instance
?CBO
VisualContentBearingObject
)
(
containsInformation
?CBO ?INFO)
(
instance
?PAPER
Paper
)
(
located
?CBO ?PAPER))
(
decreasesLikelihood
(
patient
?CUT ?PAPER)
(
exists
(?READ)
(
and
(
instance
?READ
Interpreting
)
(
patient
?READ ?INFO)
(
earlier
(
WhenFn
?CUT)
(
WhenFn
?READ))))))))
Mid-level-ontology.kif 17585-17605
If
an object
is an
instance
of
PaperShredder
and
a process
is an
instance
of
cutting
and
the object
is an
instrument
for
the process
,
then
the process
has the purpose
if
an entity
is an
instance
of
VisualContentBearingObject
and
the entity
contain
s information
another entity
and
a third entity
is an
instance
of
paper
and
the entity
is
located
at
the third entity
,
then
the third entity
is a
patient
of
the process
decrease
s likelihood of there exists
a fourth entity
such that
the fourth entity
is an
instance
of
interpreting
and
the other entity
is a
patient
of
the fourth entity
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the fourth entity
(=>
(
and
(
subsumesContentInstance
?OBJ1 ?OBJ2)
(
containsInformation
?OBJ2 ?INFO))
(
containsInformation
?OBJ1 ?INFO))
Merge.kif 4493-4497
If
a content bearing physical
subsume
s the content of
another content bearing physical
and
the other content bearing physical
contain
s information
a proposition
,
then
the content bearing physical
contain
s information
the proposition
(=>
(
finalExperimentReport
?CBP ?EXPERIMENT)
(
exists
(?RESULT)
(
and
(
result
?EXPERIMENT ?RESULT)
(
containsInformation
?CBP ?RESULT))))
UXExperimentalTerms.kif 2912-2917
If the
final
report
for
an experimenting
is
a content bearing physical
,
then there exists
a proposition
such that
the proposition
is a
result
of
the experimenting
and
the content bearing physical
contain
s information
the proposition
(=>
(
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 13328-13335
If
a process
is an
instance
of
criminal action
,
then there exist
a formula
,
a proposition
and
another proposition
such that the statement
the formula
has the
modal
force
of
law
and
the formula
contain
s information
the proposition
and
the process
express
es the content of
the other proposition
and
the other proposition
is not a
consistent
of
the proposition
(=>
(
instance
?ARGUE
Arguing
)
(
exists
(?STATEMENT ?ARGUMENT)
(
and
(
patient
?ARGUE ?STATEMENT)
(
instance
?STATEMENT
Statement
)
(
containsInformation
?STATEMENT ?ARGUMENT)
(
instance
?ARGUMENT
Argument
))))
Mid-level-ontology.kif 870-877
If
a process
is an
instance
of
arguing
,
then there exist
a content bearing physical
and
a proposition
such that
the content bearing physical
is a
patient
of
the process
and
the content bearing physical
is an
instance
of
statement
and
the content bearing physical
contain
s information
the proposition
and
the proposition
is an
instance
of
argument
(=>
(
instance
?BEST_OFFER
BestOffering
)
(
and
(
containsInformation
?BEST_OFFER
(
exists
(?BUYING)
(
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 1862-1883
If
an entity
_OFFER is an
instance
of
best offer
,
then
the entity
_OFFER
contain
s information there exists
another entity
such that
the other entity
is an
instance
of
buying
and
a third entity
is an
agent
of
the other entity
and
a fourth entity
is a
patient
of
the other entity
and
a fifth entity
a sixth entity
(s) is a
transaction
amount of
the other entity
and there doesn't exist
a content bearing physical
such that
the content bearing physical
contain
s information there exist
the other entity
2,
the third entity
2 and
a ninth entity
such that
the other entity
2 is an
instance
of
buying
and
the third entity
2 is an
agent
of
the other entity
2 and
the fourth entity
is a
patient
of
the other entity
2 and
the ninth entity
the sixth entity
(s) is a
transaction
amount of
the other entity
2 and
the ninth entity
is
greater
than
the fifth entity
(=>
(
instance
?BRD
BusinessRequirementDocument
)
(
exists
(?PLAN ?BU ?PROC)
(
and
(
instance
?PLAN
Plan
)
(
instance
?BU
Business
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC)
(
desires
?BU ?PROC)
(
containsInformation
?BRD ?PLAN))))
UXExperimentalTerms.kif 2806-2815
If
a content bearing physical
is an
instance
of
business requirement document
,
then there exist
a proposition
,
a cognitive agent
and
a formula
such that
the proposition
is an
instance
of
plan
and
the cognitive agent
is an
instance
of
Business
and
the formula
is an
instance
of
process
and
the proposition
express
es
the formula
and
the cognitive agent
desire
s
the formula
and
the content bearing physical
contain
s information
the proposition
(=>
(
instance
?C
Correcting
)
(
exists
(?D ?S ?SP ?CP)
(
and
(
instance
?D
Disagreeing
)
(
subProcess
?C ?D)
(
instance
?S
Stating
)
(
subProcess
?S ?D)
(
containsInformation
?S ?SP)
(
containsInformation
?C ?CP)
(
refers
?CP ?SP)
(
not
(
consistent
?CP ?SP)))))
Mid-level-ontology.kif 29079-29091
If
a process
is an
instance
of
Correcting
,
then there exist
another process
,
a third process
,, ,
the third process
P and
the process
P such that
the other process
is an
instance
of
disagreeing
and
the process
is a
subprocess
of
the other process
and
the third process
is an
instance
of
stating
and
the third process
is a
subprocess
of
the other process
and
the third process
contain
s information
the third process
P and
the process
contain
s information
the process
P and
the process
P includes a
reference
to
the third process
P and
the third process
P is not a
consistent
of
the process
P
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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 1226-1233
For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING
if ?ELECTION is an
instance
of the
election
of ?AGENT and ?VOTING is an
instance
of the
voting
of ?ELECTION and ?VOTER is an
agent
of ?VOTING,
then
male
is an
attribute
of ?VOTER
contain
s information
exclusive male suffrage
(
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 908-916
For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER
if ?COUNTRY is an
instance
of
nation
and ?ELECTION is an
instance
of the
election
of ?COUNTRY and ?VOTING is an
instance
of the
voting
of ?ELECTION and ?VOTER is an
agent
of ?VOTING,
then ?VOTER is a
citizen
of ?COUNTRY
contain
s information
voter citizenship requirement
(
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 1077-1088
For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
if ?AGENT is a
citizen
of ?POLITY and ?VOTINGAGE
year duration
(s) is a
suffrage
age minimum of ?POLITY and the
age
of ?AGENT is ?AGE
year duration
(s) and ?AGE is
greater
than or equal to ?VOTINGAGE and ?ELECTION is an
instance
of the
election
of ?POLITY,
then ?AGENT is
capable
of doing the
voting
of ?ELECTION as a
agent
contain
s information
universal suffrage law
(
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 1145-1159
For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
if ?VOTER is a
citizen
of ?POLITY and ?VOTINGAGE
year duration
(s) is a
suffrage
age minimum of ?POLITY and the
age
of ?VOTER is ?AGE
year duration
(s) and ?AGE is
greater
than or equal to ?VOTINGAGE and ?ELECTION is an
instance
of the
election
of ?POLITY,
then there exists ?VOTING such that ?VOTING is an
instance
of the
voting
of ?ELECTION and ?VOTER is an
agent
of ?VOTING
contain
s information
compulsory suffrage law
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