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
Il numero 1 argomenti di
modalAttribute
è un
istanza
di
Formula
(
domain
modalAttribute
2
NormativeAttribute
)
Merge.kif 17303-17303
Il numero 2 argomenti di
modalAttribute
è un
istanza
di
AttributoNormativo
(
instance
modalAttribute
AsymmetricRelation
)
Merge.kif 17298-17298
modalAttribute
è un'
istanza
di
RelazioneAsimmetrica
(
instance
modalAttribute
BinaryPredicate
)
Merge.kif 17297-17297
modalAttribute
è un'
istanza
di
PredicatoBinario
(
instance
modalAttribute
IrreflexiveRelation
)
Merge.kif 17299-17299
modalAttribute
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
modalAttribute
PartialValuedRelation
)
Merge.kif 17300-17300
modalAttribute
è un'
istanza
di
RelazioneAValoreParziale
(
subrelation
modalAttribute
property
)
Merge.kif 17301-17301
modalAttribute
è una
sottorelazione
di
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
(
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
L'affermazione
Formula
ha il modello di forza di
Legal
Formula
l'affermazione
Formula
ha il modello di forza di
Law
consistent
Formula
and
Formula
(<=>
(
modalAttribute
?FORMULA
Necessity
)
(
not
(
modalAttribute
(
not
?FORMULA)
Possibility
)))
Merge.kif 17416-17418
L'affermazione
Formula
ha il modello di forza di
Necessity
l'affermazione
Formula
ha il modello di forza di
Possibility
(<=>
(
modalAttribute
?FORMULA
Obligation
)
(
not
(
modalAttribute
(
not
?FORMULA)
Permission
)))
Merge.kif 17479-17481
L'affermazione
Formula
ha il modello di forza di
Obligation
l'affermazione
Formula
ha il modello di forza di
Permission
(<=>
(
modalAttribute
?FORMULA
Prohibition
)
(
not
(
modalAttribute
?FORMULA
Permission
)))
Merge.kif 17515-17517
L'affermazione
Formula
ha il modello di forza di
Prohibition
l'affermazione
Formula
ha il modello di forza di
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
AutonomousAgent
è un'
istanza
di
AutonomousAgent
potentialCustomer
AgenteCognitivo
and
AutonomousAgent
l'affermazione
Entit�
è un'
istanza
di
Reserving
Entit�
fine
s in
AutonomousAgent
ha il modello di forza di
Necessity
probabilit
à di
Entit�
ES1
Entit�
ES1 è un'
istanza
di
Reservation
reservingEntity
AgenteCognitivo
and
Entit�
ES1
fulfillingEntity
AutonomousAgent
and
Entit�
ES1 ammesso che
customer
AgenteCognitivo
and
AutonomousAgent
valga è
NumeroReale
probabilit
à di
Entit�
ES2
Entit�
ES2 è un'
istanza
di
Reservation
reservingEntity
AgenteCognitivo
and
Entit�
ES2
fulfillingEntity
AutonomousAgent
and
Entit�
ES2 ammesso che
customer
AgenteCognitivo
and
AutonomousAgent
valga è
NumeroReale
NumeroReale
è
meno
di
NumeroReale
(=>
(
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
Processo
è un'
istanza
di
Bleeding
Entit�
è un'
istanza
di
Morte
Formula
è un'
istanza
di
Umano
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
esperisce
s
Processo
Formula
è
Near
a
AutonomousAgent
l'affermazione
Processo
causa
s
Entit�
ha il modello di forza di
Likely
Entit�
Entit�
è un'
istanza
di
Attaccare
Entit�
è un
agente
di
Formula
Entit�
fine
s in
AutonomousAgent
è
obbligato
a compiere il compito di tipo
Formula
(=>
(
and
(
modalAttribute
?FORMULA1 ?PROP)
(
entails
?FORMULA1 ?FORMULA2))
(
modalAttribute
?FORMULA2 ?PROP))
Merge.kif 17312-17316
L'affermazione
Formula
ha il modello di forza di
AttributoNormativo
Formula
implica
s
Formula
l'affermazione
Formula
ha il modello di forza di
AttributoNormativo
(=>
(
holdsDuring
?TIME1
(
modalAttribute
?TEXT
Law
))
(
exists
(?TIME2)
(
and
(
holdsDuring
?TIME2
(
attribute
?TEXT
LegislativeBill
))
(
earlier
?TIME2 ?TIME1))))
Mid-level-ontology.kif 13814-13819
L'affermazione
Entit�
ha il modello di forza di
Law
vales
durante
IntervalloTemporale
IntervalloTemporale
attribute
Entit�
and
LegislativeBill
vales
durante
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17529-17531
L'affermazione
Formula
ha il modello di forza di
Likely
la
probabilit
à di
truth
Formula
and
True
è
pi
ù grande di la
probabilit
à di
truth
Formula
and
False
(=>
(
modalAttribute
?FORMULA
Necessity
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17420-17422
L'affermazione
Formula
ha il modello di forza di
Necessity
l'affermazione
Formula
ha il modello di forza di
Possibility
(=>
(
modalAttribute
?FORMULA
Obligation
)
(
modalAttribute
?FORMULA
Permission
))
Merge.kif 17483-17485
L'affermazione
Formula
ha il modello di forza di
Obligation
l'affermazione
Formula
ha il modello di forza di
Permission
(=>
(
modalAttribute
?FORMULA
Permission
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17318-17320
L'affermazione
Formula
ha il modello di forza di
Permission
l'affermazione
Formula
ha il modello di forza di
Possibility
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17537-17539
L'affermazione
Formula
ha il modello di forza di
Unlikely
la
probabilit
à di
truth
Formula
and
False
è
pi
ù grande di la
probabilit
à di
truth
Formula
and
True
consequent
(<=>
(
modalAttribute
?F1
Legal
)
(
not
(
exists
(?F2)
(
and
(
modalAttribute
?F2
Law
)
(
not
(
consistent
?F1 ?F2))))))
Mid-level-ontology.kif 13850-13857
L'affermazione
Formula
ha il modello di forza di
Legal
Formula
l'affermazione
Formula
ha il modello di forza di
Law
consistent
Formula
and
Formula
(<=>
(
modalAttribute
?FORMULA
Necessity
)
(
not
(
modalAttribute
(
not
?FORMULA)
Possibility
)))
Merge.kif 17416-17418
L'affermazione
Formula
ha il modello di forza di
Necessity
l'affermazione
Formula
ha il modello di forza di
Possibility
(<=>
(
modalAttribute
?FORMULA
Obligation
)
(
not
(
modalAttribute
(
not
?FORMULA)
Permission
)))
Merge.kif 17479-17481
L'affermazione
Formula
ha il modello di forza di
Obligation
l'affermazione
Formula
ha il modello di forza di
Permission
(<=>
(
modalAttribute
?FORMULA
Prohibition
)
(
not
(
modalAttribute
?FORMULA
Permission
)))
Merge.kif 17515-17517
L'affermazione
Formula
ha il modello di forza di
Prohibition
l'affermazione
Formula
ha il modello di forza di
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
agreementClause
Proposizione
,
AttributoDeontico
,
Agreement
and
AgenteCognitivo
AttributoDeontico
is
uguale
a
Obligation
AttributoDeontico
is
uguale
a
Promise
l'affermazione
Entit�
Entit�
esprime
il contenuto di
Proposizione
Entit�
è un
agente
di
AgenteCognitivo
ha il modello di forza di
Likely
(=>
(
and
(
albumCoverImage
?A ?I)
(
instance
?CD
(
AlbumCopiesFn
?A ?DS))
(
contains
?C ?CD))
(
modalAttribute
(
part
?I
(
FrontFn
?C))
Likely
))
Music.kif 316-322
albumCoverImage
Album
and
Image
Oggetto
è un'
istanza
di
AlbumCopiesFn
Album
and
DataStorageDevice
contains
OggettoIntegro
and
Oggetto
l'affermazione
Image
è una
parte
di il
davanti
di
OggettoIntegro
ha il modello di forza di
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
allergic
Umano
and
Sostanza
Sostanza
UB è un'
istanza
di
Sostanza
Sostanza
UB
incontra
s
Umano
vales
durante
PosizioneTemporale
l'affermazione
Entit�
Entit�
è un'
istanza
di
AllergicReaction
Umano
esperisce
s
Entit�
il
tempo
di esistenza di
Entit�
sovrappone
s
PosizioneTemporale
l'
inizio
di
PosizioneTemporale
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
attribute
?D
DeviceDamaged
)
(
hasPurpose
?D ?F))
(
not
(
modalAttribute
?F
Possibility
)))
Mid-level-ontology.kif 29458-29463
attribute
Oggetto
and
DeviceDamaged
Oggetto
ha
scopo
Formula
l'affermazione
Formula
ha il modello di forza di
Possibility
(=>
(
and
(
attribute
?D
DeviceNormal
)
(
hasPurpose
?D ?F))
(
modalAttribute
?F
Possibility
))
Mid-level-ontology.kif 29431-29435
attribute
Oggetto
and
DeviceNormal
Oggetto
ha
scopo
Formula
l'affermazione
Formula
ha il modello di forza di
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
attribute
Oggetto
and
MalattiaOSindrome
diseaseTreatment
MalattiaOSindrome
and
ProcessoTerapeutico
Processo
è un'
istanza
di
TherpeuticProcess
Processo
è un
agente
di
MalattiaOSindrome
OC
Oggetto
è un
paziente
di
Processo
attribute
MalattiaOSindrome
OC and
MedicalDoctor
l'affermazione
Processo
è un'
istanza
di
ProcessoTerapeutico
ha il modello di forza di
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
attribute
AutonomousAgent
and
Muslim
valore
delle appartenenze di
AutonomousAgent
is
uguale
a
MisuraMonetaria
l'affermazione
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Zakat
Entit�
è un'
istanza
di
Anno
Entit�
has luogo
durante
il
tempo
di esistenza di
AutonomousAgent
attribute
AutonomousAgent
and
FullyFormed
vales
durante
Entit�
Entit�
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Entit�
valore
di
Entit�
è
Entit�
Entit�
(s
Entit�
è un'
istanza
di
UnitOfCurrency
Entit�
è
pi
ù grande di
MisuraMonetaria
+ 0.025 ha il modello di forza di
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
attribute
AutonomousAgent
and
ADHD
attribute
AutonomousAgent
and
ADHD
AutonomousAgent
is
uguale
a
AutonomousAgent
Processo
è un'
istanza
di
Classe
Processo
è un'
istanza
di
Classe
Classe
è una
sottoclasse
di
ProcessoPsicologicoIntenzionale
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
durata
di il
tempo
di esistenza di
Processo
è
Durata
durata
di il
tempo
di esistenza di
Processo
è
Durata
l'affermazione
Durata
è
pi
ù grande di
Durata
ha il modello di forza di
Likely
(=>
(
and
(
attribute
?P
Muslim
)
(
capability
Hajj
agent
?P))
(
modalAttribute
(
exists
(?H)
(
and
(
instance
?H
Hajj
)
(
agent
?H ?P)))
Obligation
))
ArabicCulture.kif 134-143
attribute
Oggetto
and
Muslim
Oggetto
è
capace
di fare
Hajj
nel ruolo
agent
l'affermazione
Entit�
Entit�
è un'
istanza
di
Hajj
Entit�
è un
agente
di
Oggetto
ha il modello di forza di
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
attribute
Oggetto
and
CommunalAttribute
Oggetto
è un'
istanza
di
Table
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
GroupOfPeople
eventLocated
Processo
and
Oggetto
l'affermazione
Entit�
Entit�
and
Oggetto
2
Entit�
è un'
istanza
di
Mangiare
Entit�
è un
agente
di
Entit�
AutonomousAgent
is
uguale
a
Entit�
Entit�
è un'
istanza
di
GroupOfPeople
eventLocated
Entit�
and
Oggetto
2 il
tempo
di esistenza di
Processo
incontra
s il
tempo
di esistenza di
Entit�
Oggetto
is
uguale
a
Oggetto
2 ha il modello di forza di
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
attribute
AutonomousAgent
and
Multilingual
Processo
è un'
istanza
di
Speaking
Processo
è un
agente
di
AutonomousAgent
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
SpokenHumanLanguage
Entit�
è un'
istanza
di
SpokenHumanLanguage
Entit�
is
uguale
a
Entit�
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
ha il modello di forza di
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
attribute
Oggetto
and
WheelchairAccessible
Oggetto
è un'
istanza
di
Costruzione
Oggetto
è un'
istanza
di
Stanza
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Movimento
Entit�
è uno
strumento
per
Entit�
Entit�
è un'
istanza
di
Wheelchair
eventLocated
Entit�
and
Oggetto
ha il modello di forza di
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
Organizzazione
è
capace
di fare
ValetParking
nel ruolo
agent
customer
AgenteCognitivo
and
Organizzazione
Organizzazione
è
localizzato
in
Oggetto
Processo
è un'
istanza
di
Arriving
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Oggetto
Umano
Umano
occupa la
posizione
di
Valet
in
Organizzazione
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
ValetParking
Entit�
è un
agente
di
Umano
Entit�
è un
paziente
di
Entit�
Entit�
fine
s in
Entit�
Entit�
è un'
istanza
di
ParkingRegion
ha il modello di forza di
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
customer
AgenteCognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
l'affermazione
Entit�
Entit�
and
Entit�
%è un
elemento
di
Possibility
Entit�
è un
agente
di
AutonomousAgent
AgenteCognitivo
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un'
istanza
di
Entit�Concreta
Entit�
è un
sottoprocesso
di
Entit�
Entit�
è
localizzato
in
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18446-18451
defaultMaxValue
Predicato
,
NumeroInteroPositivo
and
Quantit�
Predicato
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
l'affermazione
Quantit�
è
pi
ù grande di
Entit�
ha il modello di forza di
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
defaultMaximumMeasure
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
CompositeUnitOfMeasure
l'affermazione
Entit�
NumeroReale
UANTITY
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
NumeroReale
UANTITY
Unit�DiMisura
(s
NumeroReale
UANTITY è
pi
ù grande di
NumeroReale
ha il modello di forza di
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
defaultMaximumMeasure
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Classe
è una
sottoclasse
di
NonCompositeUnitOfMeasure
Unit�DiMisura
è un'
istanza
di
Classe
l'affermazione
Entit�
NumeroReale
UANTITY and
Entit�
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
NumeroReale
UANTITY
Entit�
(s
Entit�
è un'
istanza
di
Classe
NumeroReale
UANTITY
Entit�
(s è
pi
ù grande di
NumeroReale
Unit�DiMisura
(s ha il modello di forza di
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
defaultMaximumSphereRadius
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Oggetto
è un'
istanza
di
Oggetto
attribute
Oggetto
and
Sphere
l'affermazione
NumeroReale
ADIUS
sphereRadius
Oggetto
and
NumeroReale
ADIUS
Unit�DiMisura
(s
NumeroReale
ADIUS è
pi
ù grande di
NumeroReale
ha il modello di forza di
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
defaultMeasure
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
CompositeUnitOfMeasure
l'affermazione
Entit�
NumeroReale
UANTITY
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
NumeroReale
UANTITY
Unit�DiMisura
(s
NumeroReale
UANTITY è
pi
ù grande di
NumeroReale
+ 1.5 ha il modello di forza di
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
defaultMeasure
Oggetto
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
CompositeUnitOfMeasure
l'affermazione
Entit�
NumeroReale
UANTITY
Entit�
è un'
istanza
di
Oggetto
la
misura
Entit�
è
NumeroReale
UANTITY
Unit�DiMisura
(s
NumeroReale
UANTITY è
meno
di
NumeroReale
+ .5 ha il modello di forza di
Unlikely
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18429-18434
defaultMinValue
Predicato
,
NumeroInteroPositivo
and
Quantit�
Predicato
@ARGS
Entit�
is
uguale
a
NumeroInteroPositivo
th
elemento
di (@ARGS
l'affermazione
Entit�
è
pi
ù grande di
Quantit�
ha il modello di forza di
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
L'affermazione
AmericansWithDisabilitiesAct-US
ha il modello di forza di
Law
(
modalAttribute
AntiterrorismAndEffectiveDeathPenaltyAct
Law
)
Government.kif 2407-2407
L'affermazione
AntiterrorismAndEffectiveDeathPenaltyAct
ha il modello di forza di
Law
(
modalAttribute
ImmigrationAndNationalityAct-Section219-US
Law
)
Government.kif 2405-2405
L'affermazione
ImmigrationAndNationalityAct-Section219-US
ha il modello di forza di
Law
(
modalAttribute
ImmigrationAndNationalityAct-US
Law
)
Government.kif 2402-2402
L'affermazione
ImmigrationAndNationalityAct-US
ha il modello di forza di
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