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
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 17304-17310
(
domain
modalAttribute
1
Formula
)
Merge.kif 17302-17302
域
模態屬性
, 1 and
Formula
(
domain
modalAttribute
2
NormativeAttribute
)
Merge.kif 17303-17303
域
模態屬性
, 2 and
NormativeAttribute
(
instance
modalAttribute
AsymmetricRelation
)
Merge.kif 17298-17298
例
模態屬性
and
AsymmetricRelation
(
instance
modalAttribute
BinaryPredicate
)
Merge.kif 17297-17297
例
模態屬性
and
BinaryPredicate
(
instance
modalAttribute
IrreflexiveRelation
)
Merge.kif 17299-17299
例
模態屬性
and
IrreflexiveRelation
(
instance
modalAttribute
PartialValuedRelation
)
Merge.kif 17300-17300
例
模態屬性
and
PartialValuedRelation
(
subrelation
modalAttribute
property
)
Merge.kif 17301-17301
子關係
模態屬性
and
屬性
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 38199-38199
(
termFormat
ChineseLanguage
modalAttribute
"语气属性")
chinese_format.kif 591-591
(
termFormat
ChineseTraditionalLanguage
modalAttribute
"模態屬性")
domainEnglishFormat.kif 38198-38198
(
termFormat
EnglishLanguage
modalAttribute
"modal attribute")
domainEnglishFormat.kif 38197-38197
antecedent
(<=>
(
modalAttribute
?F1
Legal
)
(
not
(
exists
(?F2)
(
and
(
modalAttribute
?F2
Law
)
(
not
(
consistent
?F1 ?F2))))))
Mid-level-ontology.kif 13850-13857
模態屬性
Formula
and
合法
Formula
模態屬性
Formula
and
法
Formula
是
Formula
的
consistent
(<=>
(
modalAttribute
?FORMULA
Necessity
)
(
not
(
modalAttribute
(
not
?FORMULA)
Possibility
)))
Merge.kif 17416-17418
模態屬性
Formula
and
必要性
模態屬性
Formula
and
可能性
(<=>
(
modalAttribute
?FORMULA
Obligation
)
(
not
(
modalAttribute
(
not
?FORMULA)
Permission
)))
Merge.kif 17479-17481
模態屬性
Formula
and
義務
模態屬性
Formula
and
允許
(<=>
(
modalAttribute
?FORMULA
Prohibition
)
(
not
(
modalAttribute
?FORMULA
Permission
)))
Merge.kif 17515-17517
模態屬性
Formula
and
禁令
模態屬性
Formula
and
允許
(=>
(
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
例
AutonomousAgent
and
AutonomousAgent
CognitiveAgent
是個
potential
customer
對於
AutonomousAgent
模態屬性
例
entity
and
Reserving
目的地
entity
and
AutonomousAgent
and
必要性
條件概率
entity
ES1
例
entity
ES1 and
Reservation
CognitiveAgent
reserves
entity
ES1
AutonomousAgent
fulfills
entity
ES1 ,
AutonomousAgent
是
CognitiveAgent
的
customer
and
RealNumber
條件概率
entity
ES2
例
entity
ES2 and
Reservation
CognitiveAgent
reserves
entity
ES2
AutonomousAgent
fulfills
entity
ES2 ,
AutonomousAgent
是
CognitiveAgent
的
customer
and
RealNumber
少於
RealNumber
and
RealNumber
(=>
(
and
(
instance
?B
Bleeding
)
(
instance
?D
Death
)
(
instance
?H
Human
)
(
instance
?P
Human
)
(
experiencer
?B ?P)
(
orientation
?H ?P
Near
)
(
modalAttribute
(
causes
?B ?D)
Likely
))
(
holdsObligation
?H
(
exists
(?A)
(
and
(
instance
?A
Attaching
)
(
agent
?A ?H)
(
destination
?A ?P)))))
Medicine.kif 44-59
例
Process
and
流血的
例
Entity
and
Death
例
Formula
and
Human
例
AutonomousAgent
and
Human
體驗者
Process
and
AutonomousAgent
方位
Formula
,
AutonomousAgent
and
近
模態屬性
原因
Process
and
Entity
and
容易
持有義務
Formula
and
entity
例
entity
and
Attaching
agent
entity
and
Formula
目的地
entity
and
AutonomousAgent
(=>
(
and
(
modalAttribute
?FORMULA1 ?PROP)
(
entails
?FORMULA1 ?FORMULA2))
(
modalAttribute
?FORMULA2 ?PROP))
Merge.kif 17312-17316
模態屬性
Formula
and
NormativeAttribute
意味
Formula
and
Formula
模態屬性
Formula
and
NormativeAttribute
(=>
(
holdsDuring
?TIME1
(
modalAttribute
?TEXT
Law
))
(
exists
(?TIME2)
(
and
(
holdsDuring
?TIME2
(
attribute
?TEXT
LegislativeBill
))
(
earlier
?TIME2 ?TIME1))))
Mid-level-ontology.kif 13814-13819
持有期間
TimeInterval
and
模態屬性
entity
and
法
TimeInterval
持有期間
TimeInterval
and
attribute
entity
and
立法法案
早期
TimeInterval
and
TimeInterval
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17529-17531
模態屬性
Formula
and
容易
比較多
可能性
真相
Formula
and
真正
and
可能性
真相
Formula
and
假
(=>
(
modalAttribute
?FORMULA
Necessity
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17420-17422
模態屬性
Formula
and
必要性
模態屬性
Formula
and
可能性
(=>
(
modalAttribute
?FORMULA
Obligation
)
(
modalAttribute
?FORMULA
Permission
))
Merge.kif 17483-17485
模態屬性
Formula
and
義務
模態屬性
Formula
and
允許
(=>
(
modalAttribute
?FORMULA
Permission
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17318-17320
模態屬性
Formula
and
允許
模態屬性
Formula
and
可能性
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17537-17539
模態屬性
Formula
and
較不可能
比較多
可能性
真相
Formula
and
假
and
可能性
真相
Formula
and
真正
consequent
(<=>
(
modalAttribute
?F1
Legal
)
(
not
(
exists
(?F2)
(
and
(
modalAttribute
?F2
Law
)
(
not
(
consistent
?F1 ?F2))))))
Mid-level-ontology.kif 13850-13857
模態屬性
Formula
and
合法
Formula
模態屬性
Formula
and
法
Formula
是
Formula
的
consistent
(<=>
(
modalAttribute
?FORMULA
Necessity
)
(
not
(
modalAttribute
(
not
?FORMULA)
Possibility
)))
Merge.kif 17416-17418
模態屬性
Formula
and
必要性
模態屬性
Formula
and
可能性
(<=>
(
modalAttribute
?FORMULA
Obligation
)
(
not
(
modalAttribute
(
not
?FORMULA)
Permission
)))
Merge.kif 17479-17481
模態屬性
Formula
and
義務
模態屬性
Formula
and
允許
(<=>
(
modalAttribute
?FORMULA
Prohibition
)
(
not
(
modalAttribute
?FORMULA
Permission
)))
Merge.kif 17515-17517
模態屬性
Formula
and
禁令
模態屬性
Formula
and
允許
(=>
(
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 14079-14089
CognitiveAgent
有義務去做在
協議
的
Proposition
DeonticAttribute
等於
DeonticAttribute
and
義務
等於
DeonticAttribute
and
諾言
模態屬性
entity
實現
entity
and
Proposition
agent
entity
and
CognitiveAgent
and
容易
(=>
(
and
(
albumCoverImage
?A ?I)
(
instance
?CD
(
AlbumCopiesFn
?A ?DS))
(
contains
?C ?CD))
(
modalAttribute
(
part
?I
(
FrontFn
?C))
Likely
))
Music.kif 316-322
Image
是在
Album
的
image
例
Object
and
Album
在
DataStorageDevice
的
set
複製
包含
SelfConnectedObject
and
Object
模態屬性
部分
Image
and
面前
SelfConnectedObject
and
容易
(=>
(
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 6231-6244
allergic
Human
and
Substance
例
Substance
UB and
Substance
持有期間
TimePosition
and
空間的符合
Substance
UB and
Human
模態屬性
entity
例
entity
and
AllergicReaction
體驗者
entity
and
Human
暫時重疊
TimePosition
and
何時
entity
之前
開始
TimePosition
and
開始
何時
entity
and
容易
(=>
(
and
(
attribute
?D
DeviceDamaged
)
(
hasPurpose
?D ?F))
(
not
(
modalAttribute
?F
Possibility
)))
Mid-level-ontology.kif 29458-29463
attribute
Object
and
DeviceDamaged
有目的
Object
and
Formula
模態屬性
Formula
and
可能性
(=>
(
and
(
attribute
?D
DeviceNormal
)
(
hasPurpose
?D ?F))
(
modalAttribute
?F
Possibility
))
Mid-level-ontology.kif 29431-29435
attribute
Object
and
DeviceNormal
有目的
Object
and
Formula
模態屬性
Formula
and
可能性
(=>
(
and
(
attribute
?H ?D)
(
diseaseTreatment
?D ?P)
(
instance
?TP
TherpeuticProcess
)
(
agent
?TP ?DOC)
(
patient
?TP ?H)
(
attribute
?DOC
MedicalDoctor
))
(
modalAttribute
(
instance
?TP ?P)
Possibility
))
Medicine.kif 5824-5834
attribute
Object
and
DiseaseOrSyndrome
diseaseTreatment
DiseaseOrSyndrome
and
TherapeuticProcess
例
Process
and
TherpeuticProcess
agent
Process
and
DiseaseOrSyndrome
OC
患者
Process
and
Object
attribute
DiseaseOrSyndrome
OC and
醫生
模態屬性
例
Process
and
TherapeuticProcess
and
可能性
(=>
(
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
attribute
AutonomousAgent
and
穆斯林
等於
財富
AutonomousAgent
and
CurrencyMeasure
模態屬性
entity
entity
,
entity
,
entity
and
entity
例
entity
and
天課
例
entity
and
年
期間
entity
and
何時
AutonomousAgent
持有期間
entity
and
attribute
AutonomousAgent
and
完全成型
agent
entity
and
AutonomousAgent
患者
entity
and
entity
貨幣價值
entity
and
測量
entity
and
entity
例
entity
and
UnitOfCurrency
比較多
entity
and
乘法
CurrencyMeasure
and 0.025 and
義務
(=>
(
and
(
attribute
?H1
ADHD
)
(
not
(
attribute
?H2
ADHD
))
(
not
(
equal
?H1 ?H2))
(
instance
?I1 ?IC)
(
instance
?I2 ?IC)
(
subclass
?IC
IntentionalPsychologicalProcess
)
(
agent
?I1 ?H1)
(
agent
?I2 ?H2)
(
duration
(
WhenFn
?I1) ?D1)
(
duration
(
WhenFn
?I2) ?D2))
(
modalAttribute
(
greaterThan
?D2 ?D1)
Likely
))
Medicine.kif 3984-4004
attribute
AutonomousAgent
and
ADHD
attribute
AutonomousAgent
and
ADHD
等於
AutonomousAgent
and
AutonomousAgent
例
Process
and
Class
例
Process
and
Class
子類
Class
and
IntentionalPsychologicalProcess
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
持續時間
何時
Process
and
TimeDuration
持續時間
何時
Process
and
TimeDuration
模態屬性
比較多
TimeDuration
and
TimeDuration
and
容易
(=>
(
and
(
attribute
?P
Muslim
)
(
capability
Hajj
agent
?P))
(
modalAttribute
(
exists
(?H)
(
and
(
instance
?H
Hajj
)
(
agent
?H ?P)))
Obligation
))
ArabicCulture.kif 134-143
attribute
Object
and
穆斯林
能力
朝覲
,
agent
and
Object
模態屬性
entity
例
entity
and
朝覲
agent
entity
and
Object
and
義務
(=>
(
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
attribute
Object
and
CommunalAttribute
例
Object
and
表
例
Process
and
Eating
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
一群人
Process
是
located
在
Object
模態屬性
entity
entity
and
Object
2
例
entity
and
Eating
agent
entity
and
entity
等於
AutonomousAgent
and
entity
例
entity
and
一群人
entity
是
located
在
Object
2
短暫相遇
何時
Process
and
何時
entity
等於
Object
and
Object
2 and
可能性
(=>
(
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 25748-25761
attribute
AutonomousAgent
and
Multilingual
例
Process
and
說話
agent
Process
and
AutonomousAgent
模態屬性
entity
entity
例
entity
and
口語人類語言
例
entity
and
口語人類語言
等於
entity
and
entity
患者
Process
and
entity
患者
Process
and
entity
and
可能性
(=>
(
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 26159-26171
attribute
Object
and
WheelchairAccessible
例
Object
and
Building
例
Object
and
Room
模態屬性
entity
entity
例
entity
and
Motion
儀器
entity
and
entity
例
entity
and
Wheelchair
entity
是
located
在
Object
and
可能性
(=>
(
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
能力
ValetParking
,
agent
and
Organization
Organization
是
CognitiveAgent
的
customer
位於
Organization
and
Object
例
Process
and
到達
agent
Process
and
CognitiveAgent
患者
Process
and
Entity
目的地
Process
and
Object
Human
佔據位置
Human
,
Valet
and
Organization
模態屬性
entity
entity
例
entity
and
ValetParking
agent
entity
and
Human
患者
entity
and
Entity
目的地
entity
and
entity
例
entity
and
ParkingRegion
and
可能性
(=>
(
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
AutonomousAgent
是
CognitiveAgent
的
customer
AutonomousAgent
有
Physical
子類
Physical
and
Process
模態屬性
entity
entity
and
entity
元件
entity
and
屬性
AutonomousAgent
agent
entity
and
AutonomousAgent
患者
entity
and
CognitiveAgent
例
entity
and
Physical
例
entity
and
Physical
子過程
entity
and
entity
位於
entity
and
entity
and
可能性
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18446-18451
defaultMaxValue
Predicate
,
PositiveInteger
and
Quantity
Predicate
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
模態屬性
比較多
Quantity
and
Entity
and
容易
(=>
(
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 13536-13545
Object
的
maximum
預期價值是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
CompositeUnitOfMeasure
模態屬性
entity
RealNumber
UANTITY
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
UnitOfMeasure
比較多
RealNumber
UANTITY and
RealNumber
and
較不可能
(=>
(
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 13547-13558
Object
的
maximum
預期價值是
測量
RealNumber
and
UnitOfMeasure
子類
Class
and
NonCompositeUnitOfMeasure
例
UnitOfMeasure
and
Class
模態屬性
entity
RealNumber
UANTITY and
entity
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
entity
例
entity
and
Class
比較多
測量
RealNumber
UANTITY and
entity
and
測量
RealNumber
and
UnitOfMeasure
and
較不可能
(=>
(
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 13486-13497
Object
的
maximum
預期半徑是
測量
RealNumber
and
UnitOfMeasure
例
Object
and
Object
attribute
Object
and
球
模態屬性
RealNumber
ADIUS
Object
的
radius
是
測量
RealNumber
ADIUS and
UnitOfMeasure
比較多
RealNumber
ADIUS and
RealNumber
and
較不可能
(=>
(
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 13566-13575
Object
的預期
value
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
CompositeUnitOfMeasure
模態屬性
entity
RealNumber
UANTITY
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
UnitOfMeasure
比較多
RealNumber
UANTITY and
乘法
RealNumber
and 1.5 and
較不可能
(=>
(
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 13577-13586
Object
的預期
value
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
CompositeUnitOfMeasure
模態屬性
entity
RealNumber
UANTITY
例
entity
and
Object
測量
entity
and
測量
RealNumber
UANTITY and
UnitOfMeasure
少於
RealNumber
UANTITY and
乘法
RealNumber
and .5 and
較不可能
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18429-18434
defaultMinValue
Predicate
,
PositiveInteger
and
Quantity
Predicate
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
模態屬性
比較多
Entity
and
Quantity
and
容易
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
modalAttribute
AmericansWithDisabilitiesAct-US
Law
)
Medicine.kif 3170-3170
模態屬性
AmericansWithDisabilitiesAct-US
and
法
(
modalAttribute
AntiterrorismAndEffectiveDeathPenaltyAct
Law
)
Government.kif 2407-2407
模態屬性
反恐怖主義和有效的死刑法
and
法
(
modalAttribute
ImmigrationAndNationalityAct-Section219-US
Law
)
Government.kif 2405-2405
模態屬性
移民和國籍法- section219-US
and
法
(
modalAttribute
ImmigrationAndNationalityAct-US
Law
)
Government.kif 2402-2402
模態屬性
移民和國籍行為
and
法
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