Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
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
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 17189-17195
(
domain
modalAttribute
1
Formula
)
Merge.kif 17187-17187
(
domain
modalAttribute
2
NormativeAttribute
)
Merge.kif 17188-17188
(
instance
modalAttribute
AsymmetricRelation
)
Merge.kif 17183-17183
(
instance
modalAttribute
BinaryPredicate
)
Merge.kif 17182-17182
(
instance
modalAttribute
IrreflexiveRelation
)
Merge.kif 17184-17184
(
instance
modalAttribute
PartialValuedRelation
)
Merge.kif 17185-17185
(
subrelation
modalAttribute
property
)
Merge.kif 17186-17186
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
(
format
FrenchLanguage
modalAttribute
"l'argument %1 %n{n'} %p{a} %n{pas} la force modale de %2")
french_format.kif 353-353
(
format
ItalianLanguage
modalAttribute
"l'affermazione %1 ha il modello di forza di %2")
relations-it.txt 192-192
(
format
JapaneseLanguage
modalAttribute
"ステートメント %1 には %2 の modal force が %n{ない} %p{ある}")
japanese_format.kif 2100-2100
(
format
PortugueseLanguage
modalAttribute
"o argumento %1 %n{nao} %p{tem} %n a forca modal de %2")
portuguese_format.kif 305-305
(
format
de
modalAttribute
"die Aussage %1 hat die modale Kraft von %2")
relations-de.txt 775-775
(
format
hi
modalAttribute
"%1 prakathana kii ruupaatmaka visheshhataa %2 hai")
relations-hindi.txt 230-230
(
format
ro
modalAttribute
"afirmaþa %1 %n{nu} are force%t{forþa} modal%t{modalã} a lui %2")
relations-ro.kif 375-375
(
format
sv
modalAttribute
"påståendet %1 har den modala kraften av %2")
relations-sv.txt 393-393
(
termFormat
ChineseLanguage
modalAttribute
"模态属性")
domainEnglishFormat.kif 38214-38214
(
termFormat
ChineseLanguage
modalAttribute
"语气属性")
chinese_format.kif 591-591
(
termFormat
ChineseTraditionalLanguage
modalAttribute
"模態屬性")
domainEnglishFormat.kif 38213-38213
(
termFormat
EnglishLanguage
modalAttribute
"modal attribute")
domainEnglishFormat.kif 38212-38212
antecedent
(<=>
(
modalAttribute
?F1
Legal
)
(
not
(
exists
(?F2)
(
and
(
modalAttribute
?F2
Law
)
(
not
(
consistent
?F1 ?F2))))))
Mid-level-ontology.kif 13720-13727
(<=>
(
modalAttribute
?FORMULA
Necessity
)
(
not
(
modalAttribute
(
not
?FORMULA)
Possibility
)))
Merge.kif 17301-17303
(<=>
(
modalAttribute
?FORMULA
Obligation
)
(
not
(
modalAttribute
(
not
?FORMULA)
Permission
)))
Merge.kif 17364-17366
(<=>
(
modalAttribute
?FORMULA
Prohibition
)
(
not
(
modalAttribute
?FORMULA
Permission
)))
Merge.kif 17400-17402
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
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 772-795
(=>
(
and
(
modalAttribute
?FORMULA1 ?PROP)
(
entails
?FORMULA1 ?FORMULA2))
(
modalAttribute
?FORMULA2 ?PROP))
Merge.kif 17197-17201
(=>
(
holdsDuring
?TIME1
(
modalAttribute
?TEXT
Law
))
(
exists
(?TIME2)
(
and
(
holdsDuring
?TIME2
(
attribute
?TEXT
LegislativeBill
))
(
earlier
?TIME2 ?TIME1))))
Mid-level-ontology.kif 13684-13689
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17414-17416
(=>
(
modalAttribute
?FORMULA
Necessity
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17305-17307
(=>
(
modalAttribute
?FORMULA
Obligation
)
(
modalAttribute
?FORMULA
Permission
))
Merge.kif 17368-17370
(=>
(
modalAttribute
?FORMULA
Permission
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17203-17205
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17422-17424
consequent
(<=>
(
modalAttribute
?F1
Legal
)
(
not
(
exists
(?F2)
(
and
(
modalAttribute
?F2
Law
)
(
not
(
consistent
?F1 ?F2))))))
Mid-level-ontology.kif 13720-13727
(<=>
(
modalAttribute
?FORMULA
Necessity
)
(
not
(
modalAttribute
(
not
?FORMULA)
Possibility
)))
Merge.kif 17301-17303
(<=>
(
modalAttribute
?FORMULA
Obligation
)
(
not
(
modalAttribute
(
not
?FORMULA)
Permission
)))
Merge.kif 17364-17366
(<=>
(
modalAttribute
?FORMULA
Prohibition
)
(
not
(
modalAttribute
?FORMULA
Permission
)))
Merge.kif 17400-17402
(=>
(
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 13949-13959
(=>
(
and
(
albumCoverImage
?A ?I)
(
instance
?CD
(
AlbumCopiesFn
?A ?DS))
(
contains
?C ?CD))
(
modalAttribute
(
part
?I
(
FrontFn
?C))
Likely
))
Music.kif 316-322
(=>
(
and
(
allergic
?H ?S)
(
instance
?SUB ?S)
(
holdsDuring
?T
(
meetsSpatially
?SUB ?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 6198-6211
(=>
(
and
(
attribute
?D
DeviceDamaged
)
(
hasPurpose
?D ?F))
(
not
(
modalAttribute
?F
Possibility
)))
Mid-level-ontology.kif 29563-29568
(=>
(
and
(
attribute
?D
DeviceNormal
)
(
hasPurpose
?D ?F))
(
modalAttribute
?F
Possibility
))
Mid-level-ontology.kif 29536-29540
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U ?Y ?C)
(
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 204-223
(=>
(
and
(
attribute
?P
Muslim
)
(
capability
Hajj
agent
?P))
(
modalAttribute
(
exists
(?H)
(
and
(
instance
?H
Hajj
)
(
agent
?H ?P)))
Obligation
))
ArabicCulture.kif 134-143
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
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 1207-1224
(=>
(
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 25846-25859
(=>
(
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 26257-26269
(=>
(
and
(
capability
ValetParking
agent
?AGENT)
(
customer
?CUST ?AGENT)
(
located
?AGENT ?LOC)
(
instance
?D
Arriving
)
(
agent
?D ?CUST)
(
patient
?D ?VEHICLE)
(
destination
?D ?LOC))
(
exists
(?VALET)
(
and
(
occupiesPosition
?VALET
Valet
?AGENT)
(
modalAttribute
(
exists
(?VP ?PARK)
(
and
(
instance
?VP
ValetParking
)
(
agent
?VP ?VALET)
(
patient
?VP ?VEHICLE)
(
destination
?VP ?PARK)
(
instance
?PARK
ParkingRegion
)))
Possibility
))))
TransportDetail.kif 153-172
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18327-18332
(=>
(
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 13406-13415
(=>
(
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 13417-13428
(=>
(
and
(
defaultMaximumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
greaterThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13356-13367
(=>
(
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 13436-13445
(=>
(
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 13447-13456
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18310-18315
(=>
(
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 13375-13384
(=>
(
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 13386-13397
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 2407-2407
(
modalAttribute
ImmigrationAndNationalityAct-Section219-US
Law
)
Government.kif 2405-2405
(
modalAttribute
ImmigrationAndNationalityAct-US
Law
)
Government.kif 2402-2402
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