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
Die Zahl 1 Argument von
modalAttribute
ist ein
fall
von
Formula
%n{nicht}
(
domain
modalAttribute
2
NormativeAttribute
)
Merge.kif 17303-17303
Die Zahl 2 Argument von
modalAttribute
ist ein
fall
von
NormativeAttribute
%n{nicht}
(
instance
modalAttribute
AsymmetricRelation
)
Merge.kif 17298-17298
modalAttribute
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
modalAttribute
BinaryPredicate
)
Merge.kif 17297-17297
modalAttribute
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
modalAttribute
IrreflexiveRelation
)
Merge.kif 17299-17299
modalAttribute
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
modalAttribute
PartialValuedRelation
)
Merge.kif 17300-17300
modalAttribute
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
subrelation
modalAttribute
property
)
Merge.kif 17301-17301
modalAttribute
ist eine
teilrelation
von
eigenschaft
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
Die Aussage
Formula
hat die modale Kraft von
Legal
genau dann wenn es gibt nicht
** Formula
um die Aussage
** ** Formula
hat die modale Kraft von
Law
und
consistent
** Formula
and
** ** Formula
(<=>
(
modalAttribute
?FORMULA
Necessity
)
(
not
(
modalAttribute
(
not
?FORMULA)
Possibility
)))
Merge.kif 17416-17418
Die Aussage
Formula
hat die modale Kraft von
Necessity
genau dann wenn nicht die Aussage
** Formula
hat die modale Kraft von
Possibility
(<=>
(
modalAttribute
?FORMULA
Obligation
)
(
not
(
modalAttribute
(
not
?FORMULA)
Permission
)))
Merge.kif 17479-17481
Die Aussage
Formula
hat die modale Kraft von
Obligation
genau dann wenn nicht die Aussage
** Formula
hat die modale Kraft von
Permission
(<=>
(
modalAttribute
?FORMULA
Prohibition
)
(
not
(
modalAttribute
?FORMULA
Permission
)))
Merge.kif 17515-17517
Die Aussage
Formula
hat die modale Kraft von
Prohibition
genau dann wenn nicht die Aussage
** Formula
hat die modale Kraft von
Permission
(=>
(
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
Wenn
AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
potentialCustomer
CognitiveAgent
and
** AutonomousAgent
und die Aussage
entity
ist ein
fall
von
Reserving
%n{nicht} und
** entity
endet an
** AutonomousAgent
%n{nicht} hat die modale Kraft von
Necessity
und Gesetzt den Fall, dass
customer
** CognitiveAgent
and
** AutonomousAgent
gilt, ist die
wahrscheinlichkeit
von es gibt
** entity
ES1 um
** entity
ES1 ist ein
fall
von
Reservation
%n{nicht} und
reservingEntity
** CognitiveAgent
and
** entity
ES1 und
fulfillingEntity
** AutonomousAgent
and
** entity
ES1
RealNumber
und Gesetzt den Fall, dass
customer
** CognitiveAgent
and
** AutonomousAgent
gilt, ist die
wahrscheinlichkeit
von es gibt nicht
** entity
ES2 um
** entity
ES2 ist ein
fall
von
Reservation
%n{nicht} und
reservingEntity
** CognitiveAgent
and
** entity
ES2 und
fulfillingEntity
** AutonomousAgent
and
** entity
ES2
** RealNumber
,
dann
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Bleeding
%n{nicht} und
Entity
ist ein
fall
von
Death
%n{nicht} und
Formula
ist ein
fall
von
Human
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht} und
** Formula
ist
Near
hinsichlich
** AutonomousAgent
%n{nicht} und die Aussage
** Process
verursacht
** Entity
%n{nicht} hat die modale Kraft von
Likely
,
dann es gibt
** entity
um
** ** entity
ist ein
fall
von
Attaching
%n{nicht} und
** ** entity
ist der
agent
von
** Formula
%n{nicht} und
** ** entity
endet an
** AutonomousAgent
%n{nicht} wird
gezwungen
, die Aufgabe der Art von
** Formula
durchzuf�hren %n{nicht}
(=>
(
and
(
modalAttribute
?FORMULA1 ?PROP)
(
entails
?FORMULA1 ?FORMULA2))
(
modalAttribute
?FORMULA2 ?PROP))
Merge.kif 17312-17316
Wenn die Aussage
Formula
hat die modale Kraft von
NormativeAttribute
und
** Formula
hat
** Formula
zur Folge %n{nicht},
dann die Aussage
** ** Formula
hat die modale Kraft von
** NormativeAttribute
(=>
(
holdsDuring
?TIME1
(
modalAttribute
?TEXT
Law
))
(
exists
(?TIME2)
(
and
(
holdsDuring
?TIME2
(
attribute
?TEXT
LegislativeBill
))
(
earlier
?TIME2 ?TIME1))))
Mid-level-ontology.kif 13814-13819
Wenn die Aussage
entity
hat die modale Kraft von
Law
haelt
waehrend
TimeInterval
%n{nicht},
dann es gibt
** TimeInterval
um
LegislativeBill
ist ein
attribut
von
** entity
%n{nicht} haelt
waehrend
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht}
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17529-17531
Wenn die Aussage
Formula
hat die modale Kraft von
Likely
,
dann die
wahrscheinlichkeit
von
truth
** Formula
and
True
ist
groesserAls
die
wahrscheinlichkeit
von
truth
** Formula
and
False
%n{nicht}
(=>
(
modalAttribute
?FORMULA
Necessity
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17420-17422
Wenn die Aussage
Formula
hat die modale Kraft von
Necessity
,
dann die Aussage
** Formula
hat die modale Kraft von
Possibility
(=>
(
modalAttribute
?FORMULA
Obligation
)
(
modalAttribute
?FORMULA
Permission
))
Merge.kif 17483-17485
Wenn die Aussage
Formula
hat die modale Kraft von
Obligation
,
dann die Aussage
** Formula
hat die modale Kraft von
Permission
(=>
(
modalAttribute
?FORMULA
Permission
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17318-17320
Wenn die Aussage
Formula
hat die modale Kraft von
Permission
,
dann die Aussage
** Formula
hat die modale Kraft von
Possibility
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17537-17539
Wenn die Aussage
Formula
hat die modale Kraft von
Unlikely
,
dann die
wahrscheinlichkeit
von
truth
** Formula
and
False
ist
groesserAls
die
wahrscheinlichkeit
von
truth
** Formula
and
True
%n{nicht}
consequent
(<=>
(
modalAttribute
?F1
Legal
)
(
not
(
exists
(?F2)
(
and
(
modalAttribute
?F2
Law
)
(
not
(
consistent
?F1 ?F2))))))
Mid-level-ontology.kif 13850-13857
Die Aussage
Formula
hat die modale Kraft von
Legal
genau dann wenn es gibt nicht
** Formula
um die Aussage
** ** Formula
hat die modale Kraft von
Law
und
consistent
** Formula
and
** ** Formula
(<=>
(
modalAttribute
?FORMULA
Necessity
)
(
not
(
modalAttribute
(
not
?FORMULA)
Possibility
)))
Merge.kif 17416-17418
Die Aussage
Formula
hat die modale Kraft von
Necessity
genau dann wenn nicht die Aussage
** Formula
hat die modale Kraft von
Possibility
(<=>
(
modalAttribute
?FORMULA
Obligation
)
(
not
(
modalAttribute
(
not
?FORMULA)
Permission
)))
Merge.kif 17479-17481
Die Aussage
Formula
hat die modale Kraft von
Obligation
genau dann wenn nicht die Aussage
** Formula
hat die modale Kraft von
Permission
(<=>
(
modalAttribute
?FORMULA
Prohibition
)
(
not
(
modalAttribute
?FORMULA
Permission
)))
Merge.kif 17515-17517
Die Aussage
Formula
hat die modale Kraft von
Prohibition
genau dann wenn nicht die Aussage
** Formula
hat die modale Kraft von
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 14079-14089
Wenn
agreementClause
Proposition
,
DeonticAttribute
,
Agreement
and
CognitiveAgent
und
** DeonticAttribute
ist gleich
Obligation
%n{nicht} oder
** DeonticAttribute
ist gleich
Promise
%n{nicht},
dann die Aussage es gibt
entity
um
** entity
druekt den Inhalt von
** Proposition
aus und
** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
albumCoverImage
?A ?I)
(
instance
?CD
(
AlbumCopiesFn
?A ?DS))
(
contains
?C ?CD))
(
modalAttribute
(
part
?I
(
FrontFn
?C))
Likely
))
Music.kif 316-322
Wenn
albumCoverImage
Album
and
Image
und
Object
ist ein
fall
von
AlbumCopiesFn
** Album
and
** DataStorageDevice
%n{nicht} und
contains
SelfConnectedObject
and
** Object
,
dann die Aussage
** Image
ist ein
teil
von die
frontseite
von
** SelfConnectedObject
%n{nicht} hat die modale Kraft von
Likely
(=>
(
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
Wenn
allergic
Human
and
** Substance
und
** Substance
UB ist ein
fall
von
** ** Substance
%n{nicht} und
** ** Substance
UB
schliesst
** Human
raeumlich an haelt
waehrend
TimePosition
%n{nicht},
dann die Aussage es gibt
** entity
um
** ** entity
ist ein
fall
von
AllergicReaction
%n{nicht} und
** Human
erfaehrt
** ** entity
%n{nicht} und die
zeit
des Bestehens von
** ** entity
deckt
sich mit
** TimePosition
%n{nicht} und der
anfang
von
** TimePosition
geschieht
vor
der
anfang
von die
zeit
des Bestehens von
** ** entity
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
attribute
?D
DeviceDamaged
)
(
hasPurpose
?D ?F))
(
not
(
modalAttribute
?F
Possibility
)))
Mid-level-ontology.kif 29458-29463
Wenn
DeviceDamaged
ist ein
attribut
von
Object
%n{nicht} und
** Object
hat Zweck von
Formula
%n{nicht},
dann nicht die Aussage
** Formula
hat die modale Kraft von
Possibility
(=>
(
and
(
attribute
?D
DeviceNormal
)
(
hasPurpose
?D ?F))
(
modalAttribute
?F
Possibility
))
Mid-level-ontology.kif 29431-29435
Wenn
DeviceNormal
ist ein
attribut
von
Object
%n{nicht} und
** Object
hat Zweck von
Formula
%n{nicht},
dann die Aussage
** Formula
hat die modale Kraft von
Possibility
(=>
(
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
Wenn
DiseaseOrSyndrome
ist ein
attribut
von
Object
%n{nicht} und
diseaseTreatment
** DiseaseOrSyndrome
and
** TherapeuticProcess
und
Process
ist ein
fall
von
TherpeuticProcess
%n{nicht} und
** Process
ist der
agent
von
** DiseaseOrSyndrome
OC %n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
MedicalDoctor
ist ein
attribut
von
** DiseaseOrSyndrome
OC %n{nicht},
dann die Aussage
** Process
ist ein
fall
von
** TherapeuticProcess
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
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
Wenn
Muslim
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
wert
von dem Eigentum von
** AutonomousAgent
ist gleich
CurrencyMeasure
%n{nicht},
dann die Aussage es gibt
entity
,
** entity
,, ,
** entity
,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Zakat
%n{nicht} und
** ** entity
ist ein
fall
von
Year
%n{nicht} und
** ** entity
geschieht
waehrend
die
zeit
des Bestehens von
** AutonomousAgent
%n{nicht} und
FullyFormed
ist ein
attribut
von
** AutonomousAgent
%n{nicht} haelt
waehrend
** ** entity
%n{nicht} und
** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
wert
von
** ** entity
ist
** ** entity
** ** entity
(s) und
** ** entity
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** ** entity
ist
groesserAls
** CurrencyMeasure
und 0.025 %n{nicht} hat die modale Kraft von
Obligation
(=>
(
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
Wenn
ADHD
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
ADHD
ist ein
attribut
von
** AutonomousAgent
nicht und
** AutonomousAgent
ist gleich
** ** AutonomousAgent
nicht und
Process
ist ein
fall
von
Class
%n{nicht} und
** Process
ist ein
fall
von
** Class
%n{nicht} und
** Class
ist eine
teilkategorie
von
IntentionalPsychologicalProcess
und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht} und
dauer
von die
zeit
des Bestehens von
** Process
ist
TimeDuration
%n{nicht} und
dauer
von die
zeit
des Bestehens von
** ** Process
ist
** TimeDuration
%n{nicht},
dann die Aussage
** ** TimeDuration
ist
groesserAls
** TimeDuration
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
attribute
?P
Muslim
)
(
capability
Hajj
agent
?P))
(
modalAttribute
(
exists
(?H)
(
and
(
instance
?H
Hajj
)
(
agent
?H ?P)))
Obligation
))
ArabicCulture.kif 134-143
Wenn
Muslim
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist faehig %n{nicht}, in der Rolle
agent
Hajj
zu tun,
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
Hajj
%n{nicht} und
** entity
ist der
agent
von
** Object
%n{nicht} hat die modale Kraft von
Obligation
(=>
(
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
Wenn
CommunalAttribute
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Table
%n{nicht} und
Process
ist ein
fall
von
Eating
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
GroupOfPeople
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann die Aussage es gibt
entity
,
** entity
, and und
** Object
2 um
** ** entity
ist ein
fall
von
Eating
%n{nicht} und
** ** entity
ist der
agent
von
** entity
%n{nicht} und
** AutonomousAgent
ist gleich
** entity
nicht und
** entity
ist ein
fall
von
GroupOfPeople
%n{nicht} und
eventLocated
** ** entity
and
** Object
2 und die
zeit
des Bestehens von
** Process
schliesst
die
zeit
des Bestehens von
** ** entity
zeitlich an und
** Object
ist gleich
** Object
2 %n{nicht} hat die modale Kraft von
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 25748-25761
Wenn
Multilingual
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
Process
ist ein
fall
von
Speaking
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann die Aussage es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
SpokenHumanLanguage
%n{nicht} und
** ** entity
ist ein
fall
von
SpokenHumanLanguage
%n{nicht} und
** entity
ist gleich
** ** entity
nicht und
** entity
ist ein
patient
von
** Process
%n{nicht} oder
** ** entity
ist ein
patient
von
** Process
%n{nicht} hat die modale Kraft von
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 26159-26171
Wenn
WheelchairAccessible
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Building
%n{nicht} oder
** Object
ist ein
fall
von
Room
%n{nicht},
dann die Aussage es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Motion
%n{nicht} und
** ** entity
ist ein
instrument
fuer
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
Wheelchair
%n{nicht} und
eventLocated
** entity
and
** Object
hat die modale Kraft von
Possibility
(=>
(
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
Wenn
Organization
ist faehig %n{nicht}, in der Rolle
agent
ValetParking
zu tun und
customer
CognitiveAgent
and
** Organization
und
** Organization
befindet
sich an %n{nicht} und
Process
ist ein
fall
von
Arriving
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
Object
%n{nicht},
dann es gibt
Human
um
** Human
besetzt die
position
von
Valet
in
** Organization
und die Aussage es gibt
** entity
und
** entity
um
** ** entity
ist ein
fall
von
ValetParking
%n{nicht} und
** ** entity
ist der
agent
von
** Human
%n{nicht} und
** Entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
endet an
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
ParkingRegion
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
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
Wenn
customer
CognitiveAgent
and
AutonomousAgent
und
propertyAmenity
** AutonomousAgent
and
** Physical
und
** Physical
ist eine
teilkategorie
von
Process
,
dann die Aussage es gibt
entity
,
** entity
, and und
** entity
um
** ** entity
ist ein
element
von
eigentum
von
** AutonomousAgent
%n{nicht} und
** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** CognitiveAgent
ist ein
patient
von
** entity
%n{nicht} und
** entity
ist ein
fall
von
** ** Physical
%n{nicht} oder
** ** entity
ist ein
fall
von
** ** Physical
%n{nicht} und
** entity
ist ein
subProzess
von
** ** entity
und
** entity
befindet
sich an %n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18446-18451
Wenn
defaultMaxValue
Predicate
,
PositiveInteger
and
Quantity
und
** Predicate
@ARGS und
** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht},
dann die Aussage
** Quantity
ist
groesserAls
** ** Entity
%n{nicht} hat die modale Kraft von
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 13536-13545
Wenn
defaultMaximumMeasure
** Object
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
CompositeUnitOfMeasure
%n{nicht},
dann die Aussage es gibt
entity
und
** RealNumber
UANTITY um
** entity
ist ein
fall
von
** Object
%n{nicht} und das
mass
von
** entity
ist
** RealNumber
UANTITY
** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
UANTITY ist
groesserAls
** RealNumber
%n{nicht} hat die modale Kraft von
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 13547-13558
Wenn
defaultMaximumMeasure
** Object
and
RealNumber
UnitOfMeasure
(s) und
Class
ist eine
teilkategorie
von
NonCompositeUnitOfMeasure
und
** UnitOfMeasure
ist ein
fall
von
** Class
%n{nicht},
dann die Aussage es gibt
entity
,
** RealNumber
UANTITY, and und
** entity
um
** entity
ist ein
fall
von
** Object
%n{nicht} und das
mass
von
** entity
ist
** RealNumber
UANTITY
** ** entity
(s) %n{nicht} und
** ** entity
ist ein
fall
von
** Class
%n{nicht} und
** RealNumber
UANTITY
** ** entity
(s) ist
groesserAls
** RealNumber
** UnitOfMeasure
(s) %n{nicht} hat die modale Kraft von
Unlikely
(=>
(
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
Wenn
defaultMaximumSphereRadius
** Object
and
RealNumber
UnitOfMeasure
(s) und
** Object
ist ein
fall
von
** Object
%n{nicht} und
Sphere
ist ein
attribut
von
** ** Object
%n{nicht},
dann die Aussage es gibt
** RealNumber
ADIUS um
sphereRadius
** ** Object
and
** RealNumber
ADIUS
** UnitOfMeasure
(s) und
** RealNumber
ADIUS ist
groesserAls
** RealNumber
%n{nicht} hat die modale Kraft von
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 13566-13575
Wenn
defaultMeasure
** Object
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
CompositeUnitOfMeasure
%n{nicht},
dann die Aussage es gibt
entity
und
** RealNumber
UANTITY um
** entity
ist ein
fall
von
** Object
%n{nicht} und das
mass
von
** entity
ist
** RealNumber
UANTITY
** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
UANTITY ist
groesserAls
** RealNumber
und 1.5 %n{nicht} hat die modale Kraft von
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 13577-13586
Wenn
defaultMeasure
** Object
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
CompositeUnitOfMeasure
%n{nicht},
dann die Aussage es gibt
entity
und
** RealNumber
UANTITY um
** entity
ist ein
fall
von
** Object
%n{nicht} und das
mass
von
** entity
ist
** RealNumber
UANTITY
** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
UANTITY ist
kleinerAls
** RealNumber
und .5 %n{nicht} hat die modale Kraft von
Unlikely
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18429-18434
Wenn
defaultMinValue
Predicate
,
PositiveInteger
and
Quantity
und
** Predicate
@ARGS und
** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht},
dann die Aussage
** ** Entity
ist
groesserAls
** Quantity
%n{nicht} hat die modale Kraft von
Likely
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
Die Aussage
AmericansWithDisabilitiesAct-US
hat die modale Kraft von
Law
(
modalAttribute
AntiterrorismAndEffectiveDeathPenaltyAct
Law
)
Government.kif 2407-2407
Die Aussage
AntiterrorismAndEffectiveDeathPenaltyAct
hat die modale Kraft von
Law
(
modalAttribute
ImmigrationAndNationalityAct-Section219-US
Law
)
Government.kif 2405-2405
Die Aussage
ImmigrationAndNationalityAct-Section219-US
hat die modale Kraft von
Law
(
modalAttribute
ImmigrationAndNationalityAct-US
Law
)
Government.kif 2402-2402
Die Aussage
ImmigrationAndNationalityAct-US
hat die modale Kraft von
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