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
modalAttribute
Sigma KEE - modalAttribute
modalAttribute
appearance as argument number 1
(
documentation
modalAttribute
ChineseLanguage
"这是一种用来表示
Proposition
所含规范力度的
BinaryRelation
。(
modalAttribute
?FORMULA ?PROP)的意思是由 ?FORMULA 所表达的
Proposition
含有
NormativeAttribute
?PROP。例如:(
modalAttribute
(
exists
(?ACT ?OBJ) (
and
(
instance
?ACT
Giving
) (
agent
?ACT John) (
patient
?ACT ?OBJ) (
destination
?ACT Tom)))
Obligation
)的意思是约翰有义务要给汤姆一样东西。.")
chinese_format.kif 3857-3861
(
documentation
modalAttribute
EnglishLanguage
"A
BinaryRelation
that is used to state the normative force of a
Proposition
. (
modalAttribute
?FORMULA ?PROP) means that the
Proposition
expressed by ?FORMULA has the
NormativeAttribute
?PROP. For example, (
modalAttribute
(
exists
(?ACT ?OBJ) (
and
(
instance
?ACT
Giving
) (
agent
?ACT John) (
patient
?ACT ?OBJ) (
destination
?ACT Tom)))
Obligation
) means that John is obligated to give Tom something.")
Merge.kif 17044-17050
(
domain
modalAttribute
1
Formula
)
Merge.kif 17042-17042
The number 1 argument of
modal attribute
is an
instance
of
formula
(
domain
modalAttribute
2
NormativeAttribute
)
Merge.kif 17043-17043
The number 2 argument of
modal attribute
is an
instance
of
normative attribute
(
instance
modalAttribute
AsymmetricRelation
)
Merge.kif 17038-17038
modal attribute
is an
instance
of
asymmetric relation
(
instance
modalAttribute
BinaryPredicate
)
Merge.kif 17037-17037
modal attribute
is an
instance
of
binary predicate
(
instance
modalAttribute
IrreflexiveRelation
)
Merge.kif 17039-17039
modal attribute
is an
instance
of
irreflexive relation
(
instance
modalAttribute
PartialValuedRelation
)
Merge.kif 17040-17040
modal attribute
is an
instance
of
partial valued relation
(
subrelation
modalAttribute
property
)
Merge.kif 17041-17041
modal attribute
is a
subrelation
of
property
appearance as argument number 2
(
format
ChineseLanguage
modalAttribute
"%1 的声明 %n{doesn't have} %p{has} %2 的语气")
chinese_format.kif 590-590
(
format
EnglishLanguage
modalAttribute
"the statement %1 %n{doesn't have} %p{has} the modal force of %2")
english_format.kif 594-594
(
termFormat
ChineseLanguage
modalAttribute
"模态属性")
domainEnglishFormat.kif 38184-38184
(
termFormat
ChineseLanguage
modalAttribute
"语气属性")
chinese_format.kif 591-591
(
termFormat
ChineseTraditionalLanguage
modalAttribute
"模態屬性")
domainEnglishFormat.kif 38183-38183
(
termFormat
EnglishLanguage
modalAttribute
"modal attribute")
domainEnglishFormat.kif 38182-38182
antecedent
(<=>
(
modalAttribute
?F1
Legal
)
(
not
(
exists
(?F2)
(
and
(
modalAttribute
?F2
Law
)
(
not
(
consistent
?F1 ?F2))))))
Mid-level-ontology.kif 13316-13323
The statement
a formula
has the
modal
force
of
legal
if and only if there doesn't exist
another formula
such that the statement
the other formula
has the
modal
force
of
law
and
the other formula
is not a
consistent
of
the formula
(<=>
(
modalAttribute
?FORMULA
Necessity
)
(
not
(
modalAttribute
(
not
?FORMULA)
Possibility
)))
Merge.kif 17156-17158
The statement
a formula
has the
modal
force
of
necessity
if and only if the statement
the formula
doesn't have the
modal
force
of
possibility
(<=>
(
modalAttribute
?FORMULA
Obligation
)
(
not
(
modalAttribute
(
not
?FORMULA)
Permission
)))
Merge.kif 17219-17221
The statement
a formula
has the
modal
force
of
obligation
if and only if the statement
the formula
doesn't have the
modal
force
of
permission
(<=>
(
modalAttribute
?FORMULA
Prohibition
)
(
not
(
modalAttribute
?FORMULA
Permission
)))
Merge.kif 17255-17257
The statement
a formula
has the
modal
force
of
prohibition
if and only if the statement
the formula
doesn't have the
modal
force
of
permission
(=>
(
and
(
instance
?AGENT
Agent
)
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
and
(
instance
?R
Reserving
)
(
destination
?R ?AGENT))
Necessity
)
(
conditionalProbability
(
exists
(?RES1)
(
and
(
instance
?RES1
Reservation
)
(
reservingEntity
?CUST ?RES1)
(
fulfillingEntity
?AGENT ?RES1)))
(
customer
?CUST ?AGENT) ?NUM1)
(
conditionalProbability
(
not
(
exists
(?RES2)
(
and
(
instance
?RES2
Reservation
)
(
reservingEntity
?CUST ?RES2)
(
fulfillingEntity
?AGENT ?RES2))))
(
customer
?CUST ?AGENT) ?NUM2))
(
lessThan
?NUM2 ?NUM1))
Dining.kif 725-748
If
an agent
is an
instance
of
agent
and
a cognitive agent
is a
potential
customer
for
the agent
and the statement
an entity
is an
instance
of
reserving
and
the entity
end
s up at
the agent
has the
modal
force
of
necessity
and
probability
of there exists
the entity
ES1 such that
the entity
ES1 is an
instance
of
reservation
and
the cognitive agent
reserves
the entity
ES1 and
the agent
fulfills
the entity
ES1 provided that
the agent
is a
customer
of
the cognitive agent
holds is
a real number
and
probability
of there doesn't exist
the entity
ES2 such that
the entity
ES2 is an
instance
of
reservation
and
the cognitive agent
reserves
the entity
ES2 and
the agent
fulfills
the entity
ES2 provided that
the agent
is a
customer
of
the cognitive agent
holds is
another real number
,
then
the other real number
is
less
than
the real number
(=>
(
and
(
modalAttribute
?FORMULA1 ?PROP)
(
entails
?FORMULA1 ?FORMULA2))
(
modalAttribute
?FORMULA2 ?PROP))
Merge.kif 17052-17056
If the statement
a formula
has the
modal
force
of
a normative attribute
and
the formula
entail
s
another formula
,
then the statement
the other formula
has the
modal
force
of
the normative attribute
(=>
(
holdsDuring
?TIME1
(
modalAttribute
?TEXT
Law
))
(
exists
(?TIME2)
(
and
(
holdsDuring
?TIME2
(
attribute
?TEXT
LegislativeBill
))
(
earlier
?TIME2 ?TIME1))))
Mid-level-ontology.kif 13280-13285
If the statement
an entity
has the
modal
force
of
law
holds
during
a time interval
,
then there exists
another time interval
such that
legislative bill
is an
attribute
of
the entity
holds
during
the other time interval
and
the other time interval
happens
earlier
than
the time interval
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17269-17271
If the statement
a formula
has the
modal
force
of
likely
,
then the
probability
of
the formula
is
true
is
greater
than the
probability
of
the formula
is
false
(=>
(
modalAttribute
?FORMULA
Necessity
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17160-17162
If the statement
a formula
has the
modal
force
of
necessity
,
then the statement
the formula
has the
modal
force
of
possibility
(=>
(
modalAttribute
?FORMULA
Obligation
)
(
modalAttribute
?FORMULA
Permission
))
Merge.kif 17223-17225
If the statement
a formula
has the
modal
force
of
obligation
,
then the statement
the formula
has the
modal
force
of
permission
(=>
(
modalAttribute
?FORMULA
Permission
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17058-17060
If the statement
a formula
has the
modal
force
of
permission
,
then the statement
the formula
has the
modal
force
of
possibility
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17277-17279
If the statement
a formula
has the
modal
force
of
unlikely
,
then the
probability
of
the formula
is
false
is
greater
than the
probability
of
the formula
is
true
consequent
(<=>
(
modalAttribute
?F1
Legal
)
(
not
(
exists
(?F2)
(
and
(
modalAttribute
?F2
Law
)
(
not
(
consistent
?F1 ?F2))))))
Mid-level-ontology.kif 13316-13323
The statement
a formula
has the
modal
force
of
legal
if and only if there doesn't exist
another formula
such that the statement
the other formula
has the
modal
force
of
law
and
the other formula
is not a
consistent
of
the formula
(<=>
(
modalAttribute
?FORMULA
Necessity
)
(
not
(
modalAttribute
(
not
?FORMULA)
Possibility
)))
Merge.kif 17156-17158
The statement
a formula
has the
modal
force
of
necessity
if and only if the statement
the formula
doesn't have the
modal
force
of
possibility
(<=>
(
modalAttribute
?FORMULA
Obligation
)
(
not
(
modalAttribute
(
not
?FORMULA)
Permission
)))
Merge.kif 17219-17221
The statement
a formula
has the
modal
force
of
obligation
if and only if the statement
the formula
doesn't have the
modal
force
of
permission
(<=>
(
modalAttribute
?FORMULA
Prohibition
)
(
not
(
modalAttribute
?FORMULA
Permission
)))
Merge.kif 17255-17257
The statement
a formula
has the
modal
force
of
prohibition
if and only if the statement
the formula
doesn't have the
modal
force
of
permission
(=>
(
and
(
agreementClause
?PROP ?ATTR ?AGREEMENT ?AGENT)
(
or
(
equal
?ATTR
Obligation
)
(
equal
?ATTR
Promise
)))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PROP)
(
agent
?PROC ?AGENT)))
Likely
))
Mid-level-ontology.kif 13545-13555
If
a cognitive agent
has the responsibility to make
a proposition
a deontic attribute
in
an agreement
and
the deontic attribute
is
equal
to
obligation
or
the deontic attribute
is
equal
to
promise
,
then the statement there exists
an entity
such that
the entity
express
es the content of
the proposition
and
the cognitive agent
is an
agent
of
the entity
has the
modal
force
of
likely
(=>
(
and
(
albumCoverImage
?A ?I)
(
instance
?CD
(
AlbumCopiesFn
?A ?DS))
(
contains
?C ?CD))
(
modalAttribute
(
part
?I
(
FrontFn
?C))
Likely
))
Music.kif 314-320
If
an Image
is the
image
on
an album
and
an object
is an
instance
of the
set
of copies on
a kind of DataStorageDevice
of
the album
and
a self connected object
contain
s
the object
,
then the statement
the Image
is a
part
of the
front
of
the self connected object
has the
modal
force
of
likely
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?S ?H)))
(
modalAttribute
(
exists
(?AR)
(
and
(
instance
?AR
AllergicReaction
)
(
experiencer
?AR ?H)
(
overlapsTemporally
?T
(
WhenFn
?AR))
(
before
(
BeginFn
?T)
(
BeginFn
(
WhenFn
?AR)))))
Likely
))
Mid-level-ontology.kif 5907-5920
If
allergic
a human
and
a kind of substance
and
a kind of substance
UB is an
instance
of
the kind of substance
and
the kind of substance
meet
s
the human
holds
during
a time position
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
AllergicReaction
and
the human
experience
s
the other entity
and the
time
of existence of
the other entity
overlap
s
the time position
and the
beginning
of
the time position
happens
before
the
beginning
of the
time
of existence of
the other entity
has the
modal
force
of
likely
(=>
(
and
(
attribute
?D
DeviceDamaged
)
(
hasPurpose
?D ?F))
(
not
(
modalAttribute
?F
Possibility
)))
Mid-level-ontology.kif 28824-28829
If
DeviceDamaged
is an
attribute
of
an object
and
the object
has the purpose
a formula
,
then the statement
the formula
doesn't have the
modal
force
of
possibility
(=>
(
and
(
attribute
?D
DeviceNormal
)
(
hasPurpose
?D ?F))
(
modalAttribute
?F
Possibility
))
Mid-level-ontology.kif 28797-28801
If
DeviceNormal
is an
attribute
of
an object
and
the object
has the purpose
a formula
,
then the statement
the formula
has the
modal
force
of
possibility
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 193-212
If
muslim
is an
attribute
of
an agent
and
value
of belongings of
the agent
is
equal
to
a currency measure
,
then the statement there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
zakat
and
a fourth entity
is an
instance
of
year
and
the fourth entity
takes place
during
the
time
of existence of
the agent
and
fully formed
is an
attribute
of
the agent
holds
during
the fourth entity
and
the agent
is an
agent
of
the entity
and
the other entity
is a
patient
of
the entity
and
value
of
the other entity
is
a fifth entity
the third entity
(s) and
the third entity
is an
instance
of
UnitOfCurrency
and
the fifth entity
is
greater
than
the currency measure
and 0.025 has the
modal
force
of
obligation
(=>
(
and
(
attribute
?P
Muslim
)
(
capability
Hajj
agent
?P))
(
modalAttribute
(
exists
(?H)
(
and
(
instance
?H
Hajj
)
(
agent
?H ?P)))
Obligation
))
ArabicCulture.kif 125-134
If
muslim
is an
attribute
of
an object
and
the object
is
capable
of doing
hajj
as a
agent
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
hajj
and
the object
is an
agent
of
the entity
has the
modal
force
of
obligation
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1160-1177
If
communal
is an
attribute
of
an object
and
the object
is an
instance
of
table
and
a process
is an
instance
of
eating
and
an agent
is an
agent
of
the process
and
the agent
is an
instance
of
group of people
and
the process
is
located
at
2
,
then the statement there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
eating
and
the entity
is an
agent
of
the other entity
and
the agent
is not
equal
to
the entity
and
the entity
is an
instance
of
group of people
and
the other entity
is
located
at
2
and the
time
of existence of
the process
meet
s the
time
of existence of
the other entity
and
the object
is
equal
to
the object
2 has the
modal
force
of
possibility
(=>
(
and
(
attribute
?X
Multilingual
)
(
instance
?SPEAK
Speaking
)
(
agent
?SPEAK ?X))
(
modalAttribute
(
exists
(?LANG1 ?LANG2)
(
and
(
instance
?LANG1
SpokenHumanLanguage
)
(
instance
?LANG2
SpokenHumanLanguage
)
(
not
(
equal
?LANG1 ?LANG2))
(
or
(
patient
?SPEAK ?LANG1)
(
patient
?SPEAK ?LANG2))))
Possibility
))
Mid-level-ontology.kif 25115-25128
If
multilingual
is an
attribute
of
an agent
and
a process
is an
instance
of
speaking
and
the agent
is an
agent
of
the process
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
spoken human language
and
the other entity
is an
instance
of
spoken human language
and
the entity
is not
equal
to
the other entity
and
the entity
is a
patient
of
the process
or
the other entity
is a
patient
of
the process
has the
modal
force
of
possibility
(=>
(
and
(
attribute
?X
WheelchairAccessible
)
(
or
(
instance
?X
Building
)
(
instance
?X
Room
)))
(
modalAttribute
(
exists
(?MOTION ?WHEELCHAIR)
(
and
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?WHEELCHAIR)
(
instance
?WHEELCHAIR
Wheelchair
)
(
eventLocated
?MOTION ?X)))
Possibility
))
Mid-level-ontology.kif 25526-25538
If
wheelchair accessible
is an
attribute
of
an object
and
the object
is an
instance
of
building
or
the object
is an
instance
of
room
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
motion
and
the other entity
is an
instrument
for
the entity
and
the other entity
is an
instance
of
wheelchair
and
the entity
is
located
at
2
has the
modal
force
of
possibility
(=>
(
and
(
capability
ValetParking
agent
?AGENT)
(
customer
?CUST ?AGENT)
(
located
?AGENT ?LOC)
(
instance
?D
Arriving
)
(
agent
?D ?CUST)
(
patient
?D ?VEHICLE)
(
destination
?D ?LOC))
(
and
(
occupiesPosition
?VALET
Valet
?AGENT)
(
modalAttribute
(
exists
(?VP)
(
and
(
instance
?VP
ValetParking
)
(
agent
?VP ?VALET)
(
patient
?VP ?VEHICLE)
(
destination
?VP ?PARK)
(
instance
?PARK
ParkingRegion
)))
Possibility
)))
TransportDetail.kif 153-171
If
an organization
is
capable
of doing
valet parking
as a
agent
and
the organization
is a
customer
of
a cognitive agent
and
the organization
is
located
at
an object
and
a process
is an
instance
of
arriving
and
the cognitive agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the process
end
s up at
the object
,
then
a human
holds the
position
of
valet
in
the organization
and the statement there exists
another entity
such that
the other entity
is an
instance
of
valet parking
and
the human
is an
agent
of
the other entity
and
the entity
is a
patient
of
the other entity
and
the other entity
end
s up at
a third entity
and
the third entity
is an
instance
of
parking area
has the
modal
force
of
possibility
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHY)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 502-518
If
a cognitive agent
is a
customer
of
another cognitive agent
and
the cognitive agent
has
a kind of physical
and
a kind of physical
is a
subclass
of
process
,
then the statement there exist
an entity
and
another entity
such that
the other entity
is an
element
of
belongings
of
the cognitive agent
and
the cognitive agent
is an
agent
of
the entity
and
the other cognitive agent
is a
patient
of
the entity
and
the entity
is an
instance
of
the kind of physical
or
a third entity
is an
instance
of
a fourth entity
and
the entity
is a
subprocess
of
the third entity
and
the entity
is
located
at
the other entity
has the
modal
force
of
possibility
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18172-18177
If The
defalutMaxValue
of
a predicate
with
a positive integer
arguments is
a quantity
. and
the predicate
@ARGS and
another entity
is
equal
to
the positive integer
th
element
of (@ARGS),
then the statement
the quantity
is
greater
than
the other entity
has the
modal
force
of
likely
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13002-13011
If the
maximum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
CompositeUnitOfMeasure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
greater
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 13013-13024
If the
maximum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
a class
is a
subclass
of
NonCompositeUnitOfMeasure
and
the unit of measure
is an
instance
of
the class
,
then the statement there exist
an entity
,
the real number
UANTITY and
a third entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the third entity
(s) and
the third entity
is an
instance
of
the class
and
the real number
UANTITY
the third entity
(s) is
greater
than
the real number
the unit of measure
(s) has the
modal
force
of
unlikely
(=>
(
and
(
defaultMaximumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
greaterThan
?RADIUS ?R))
Unlikely
))
Mid-level-ontology.kif 12952-12962
If the
maximum
expected radius of
a kind of object
is
a real number
an unit of measure
(s) and
another object
is an
instance
of
a kind of object
and
sphere
is an
attribute
of
the other object
,
then the statement the
radius
of
the other object
is
the real number
ADIUS
the unit of measure
(s) and
the real number
ADIUS is
greater
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY
(
MultiplicationFn
?Q 1.5))))
Unlikely
))
Mid-level-ontology.kif 13032-13041
If the expected
value
of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
CompositeUnitOfMeasure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
greater
than
the real number
and 1.5 has the
modal
force
of
unlikely
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY
(
MultiplicationFn
?Q .5))))
Unlikely
))
Mid-level-ontology.kif 13043-13052
If the expected
value
of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
CompositeUnitOfMeasure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
less
than
the real number
and .5 has the
modal
force
of
unlikely
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18155-18160
If The
defaultMinValue
of
a predicate
with
a positive integer
arguments is
a quantity
. and
the predicate
@ARGS and
another entity
is
equal
to
the positive integer
th
element
of (@ARGS),
then the statement
the other entity
is
greater
than
the quantity
has the
modal
force
of
likely
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 12971-12980
If the
minimum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
CompositeUnitOfMeasure
,
then the statement there exist
an entity
and
the real number
UANTITY such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the unit of measure
(s) and
the real number
UANTITY is
less
than
the real number
has the
modal
force
of
unlikely
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 12982-12993
If the
minimum
expected value of
a kind of object
is
a real number
an unit of measure
(s) and
a class
is a
subclass
of
NonCompositeUnitOfMeasure
and
the unit of measure
is an
instance
of
the class
,
then the statement there exist
an entity
,
the real number
UANTITY and
a third entity
such that
the entity
is an
instance
of
a kind of object
and the
measure
of
the entity
is
the real number
UANTITY
the third entity
(s) and
the third entity
is an
instance
of
the class
and
the real number
UANTITY is
less
than
the real number
has the
modal
force
of
unlikely
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
modalAttribute
AntiterrorismAndEffectiveDeathPenaltyAct
Law
)
Government.kif 2392-2392
The statement
antiterrorism and effective death penalty act
has the
modal
force
of
law
(
modalAttribute
ImmigrationAndNationalityAct-Section219-US
Law
)
Government.kif 2390-2390
The statement
immigration and nationality act- section219-US
has the
modal
force
of
law
(
modalAttribute
ImmigrationAndNationalityAct-US
Law
)
Government.kif 2387-2387
The statement
immigration and nationality act-US
has the
modal
force
of
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