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 17326-17332
(
domain
modalAttribute
1
Formula
)
Merge.kif 17324-17324
O argumento numero 1 de
modalAttribute
e' uma
instancia
de
Formula
(
domain
modalAttribute
2
NormativeAttribute
)
Merge.kif 17325-17325
O argumento numero 2 de
modalAttribute
e' uma
instancia
de
Atributo Normativo
(
instance
modalAttribute
AsymmetricRelation
)
Merge.kif 17320-17320
modalAttribute
e' uma
instancia
de
Relacao Assimetrica
(
instance
modalAttribute
BinaryPredicate
)
Merge.kif 17319-17319
modalAttribute
e' uma
instancia
de
Predicado Binario
(
instance
modalAttribute
IrreflexiveRelation
)
Merge.kif 17321-17321
modalAttribute
e' uma
instancia
de
Relacao Irreflexiva
(
instance
modalAttribute
PartialValuedRelation
)
Merge.kif 17322-17322
modalAttribute
e' uma
instancia
de
Relacao Parcial
(
subrelation
modalAttribute
property
)
Merge.kif 17323-17323
modalAttribute
e' uma
sub
-relacao de
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 13849-13856
O argumento
Formula
tem a
forca
modal
de
Legal
Formula
o argumento
Formula
tem a
forca
modal
de
Law
consistent
Formula
and
Formula
(<=>
(
modalAttribute
?FORMULA
Necessity
)
(
not
(
modalAttribute
(
not
?FORMULA)
Possibility
)))
Merge.kif 17438-17440
O argumento
Formula
tem a
forca
modal
de
Necessity
o argumento
Formula
nao %n a
forca
modal
de
Possibility
(<=>
(
modalAttribute
?FORMULA
Obligation
)
(
not
(
modalAttribute
(
not
?FORMULA)
Permission
)))
Merge.kif 17501-17503
O argumento
Formula
tem a
forca
modal
de
Obligation
o argumento
Formula
nao %n a
forca
modal
de
Permission
(<=>
(
modalAttribute
?FORMULA
Prohibition
)
(
not
(
modalAttribute
?FORMULA
Permission
)))
Merge.kif 17537-17539
O argumento
Formula
tem a
forca
modal
de
Prohibition
o argumento
Formula
nao %n a
forca
modal
de
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
e' uma
instancia
de
AutonomousAgent
potentialCustomer
Agente Cognitivo
and
AutonomousAgent
o argumento
Entidade
e' uma
instancia
de
Reserving
Entidade
termina
em
AutonomousAgent
tem a
forca
modal
de
Necessity
a
probabilidade
de
Entidade
ES1
Entidade
ES1 e' uma
instancia
de
Reservation
reservingEntity
Agente Cognitivo
and
Entidade
ES1
fulfillingEntity
AutonomousAgent
and
Entidade
ES1 sabendo que
customer
Agente Cognitivo
and
AutonomousAgent
vale e'
Numero Real
a
probabilidade
de
Entidade
ES2
Entidade
ES2 e' uma
instancia
de
Reservation
reservingEntity
Agente Cognitivo
and
Entidade
ES2
fulfillingEntity
AutonomousAgent
and
Entidade
ES2 sabendo que
customer
Agente Cognitivo
and
AutonomousAgent
vale e'
Numero Real
Numero Real
e'
menos
que
Numero Real
(=>
(
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
e' uma
instancia
de
Bleeding
Entidade
e' uma
instancia
de
Morte
Formula
e' uma
instancia
de
Humano
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
experimenta
Processo
Formula
e'
Near
em relacao a
AutonomousAgent
o argumento
Processo
causa
Entidade
tem a
forca
modal
de
Likely
Entidade
Entidade
e' uma
instancia
de
Colar
Entidade
e' um
agente
de
Formula
Entidade
termina
em
AutonomousAgent
e'
obrigado
a executar tarefas de tipo
Formula
(=>
(
and
(
modalAttribute
?FORMULA1 ?PROP)
(
entails
?FORMULA1 ?FORMULA2))
(
modalAttribute
?FORMULA2 ?PROP))
Merge.kif 17334-17338
O argumento
Formula
tem a
forca
modal
de
Atributo Normativo
Formula
implica
Formula
o argumento
Formula
tem a
forca
modal
de
Atributo Normativo
(=>
(
holdsDuring
?TIME1
(
modalAttribute
?TEXT
Law
))
(
exists
(?TIME2)
(
and
(
holdsDuring
?TIME2
(
attribute
?TEXT
LegislativeBill
))
(
earlier
?TIME2 ?TIME1))))
Mid-level-ontology.kif 13813-13818
O argumento
Entidade
tem a
forca
modal
de
Law
vale
durante
Intervalo Temporal
Intervalo Temporal
LegislativeBill
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17551-17553
O argumento
Formula
tem a
forca
modal
de
Likely
a
probabilidade
de
truth
Formula
and
True
e'
maior
que a
probabilidade
de
truth
Formula
and
False
(=>
(
modalAttribute
?FORMULA
Necessity
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17442-17444
O argumento
Formula
tem a
forca
modal
de
Necessity
o argumento
Formula
tem a
forca
modal
de
Possibility
(=>
(
modalAttribute
?FORMULA
Obligation
)
(
modalAttribute
?FORMULA
Permission
))
Merge.kif 17505-17507
O argumento
Formula
tem a
forca
modal
de
Obligation
o argumento
Formula
tem a
forca
modal
de
Permission
(=>
(
modalAttribute
?FORMULA
Permission
)
(
modalAttribute
?FORMULA
Possibility
))
Merge.kif 17340-17342
O argumento
Formula
tem a
forca
modal
de
Permission
o argumento
Formula
tem a
forca
modal
de
Possibility
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17559-17561
O argumento
Formula
tem a
forca
modal
de
Unlikely
a
probabilidade
de
truth
Formula
and
False
e'
maior
que a
probabilidade
de
truth
Formula
and
True
consequent
(<=>
(
modalAttribute
?F1
Legal
)
(
not
(
exists
(?F2)
(
and
(
modalAttribute
?F2
Law
)
(
not
(
consistent
?F1 ?F2))))))
Mid-level-ontology.kif 13849-13856
O argumento
Formula
tem a
forca
modal
de
Legal
Formula
o argumento
Formula
tem a
forca
modal
de
Law
consistent
Formula
and
Formula
(<=>
(
modalAttribute
?FORMULA
Necessity
)
(
not
(
modalAttribute
(
not
?FORMULA)
Possibility
)))
Merge.kif 17438-17440
O argumento
Formula
tem a
forca
modal
de
Necessity
o argumento
Formula
nao %n a
forca
modal
de
Possibility
(<=>
(
modalAttribute
?FORMULA
Obligation
)
(
not
(
modalAttribute
(
not
?FORMULA)
Permission
)))
Merge.kif 17501-17503
O argumento
Formula
tem a
forca
modal
de
Obligation
o argumento
Formula
nao %n a
forca
modal
de
Permission
(<=>
(
modalAttribute
?FORMULA
Prohibition
)
(
not
(
modalAttribute
?FORMULA
Permission
)))
Merge.kif 17537-17539
O argumento
Formula
tem a
forca
modal
de
Prohibition
o argumento
Formula
nao %n a
forca
modal
de
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 14078-14088
agreementClause
Proposicao
,
Atributo Deontico
,
Agreement
and
Agente Cognitivo
Atributo Deontico
e'
igual
a
Obligation
Atributo Deontico
e'
igual
a
Promise
o argumento
Entidade
Entidade
exprime
o conteudo de
Proposicao
Entidade
e' um
agente
de
Agente Cognitivo
tem a
forca
modal
de
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
Objeto
e' uma
instancia
de
AlbumCopiesFn
Album
and
DataStorageDevice
Objeto auto-conectado
contem
Objeto
o argumento
Image
e' uma &parte de
afrente
de
Objeto auto-conectado
tem a
forca
modal
de
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 6230-6243
allergic
Humano
and
Substancia
Substancia
UB e' uma
instancia
de
Substancia
Substancia
UB
encontra
Humano
vale
durante
Posicao Temporal
o argumento
Entidade
Entidade
e' uma
instancia
de
AllergicReaction
Humano
experimenta
Entidade
tempo
de existencia de
Entidade
engloba
Posicao Temporal
o
comeco
de
Posicao Temporal
comeca
antes
de o
comeco
de
tempo
de existencia de
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
attribute
?D
DeviceDamaged
)
(
hasPurpose
?D ?F))
(
not
(
modalAttribute
?F
Possibility
)))
Mid-level-ontology.kif 29446-29451
DeviceDamaged
e' um
atributo
de
Objeto
Objeto
tem por
fim
Formula
o argumento
Formula
nao %n a
forca
modal
de
Possibility
(=>
(
and
(
attribute
?D
DeviceNormal
)
(
hasPurpose
?D ?F))
(
modalAttribute
?F
Possibility
))
Mid-level-ontology.kif 29419-29423
DeviceNormal
e' um
atributo
de
Objeto
Objeto
tem por
fim
Formula
o argumento
Formula
tem a
forca
modal
de
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
Doenca ou Sindrome
e' um
atributo
de
Objeto
diseaseTreatment
Doenca ou Sindrome
and
Processo Terapeutico
Processo
e' uma
instancia
de
TherpeuticProcess
Processo
e' um
agente
de
Doenca ou Sindrome
OC
Objeto
e' um
patient
de
Processo
MedicalDoctor
e' um
atributo
de
Doenca ou Sindrome
OC
o argumento
Processo
e' uma
instancia
de
Processo Terapeutico
tem a
forca
modal
de
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
Muslim
e' um
atributo
de
AutonomousAgent
valor
da propriedade de
AutonomousAgent
e'
igual
a
Medida de Divisa
o argumento
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Zakat
Entidade
e' uma
instancia
de
Ano
Entidade
acontece
durante
tempo
de existencia de
AutonomousAgent
FullyFormed
e' um
atributo
de
AutonomousAgent
vale
durante
Entidade
Entidade
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Entidade
o
valor
de
Entidade
e'
Entidade
Entidade
(s)
Entidade
e' uma
instancia
de
UnitOfCurrency
Entidade
e'
maior
que
Medida de Divisa
+ 0.025 tem a
forca
modal
de
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
ADHD
e' um
atributo
de
AutonomousAgent
ADHD
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e'
igual
a
AutonomousAgent
Processo
e' uma
instancia
de
Classe
Processo
e' uma
instancia
de
Classe
Classe
e' uma
sub
-classe de
Processo Psicologico Intencional
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
a
duracao
de
tempo
de existencia de
Processo
e'
Duracao Temporal
a
duracao
de
tempo
de existencia de
Processo
e'
Duracao Temporal
o argumento
Duracao Temporal
e'
maior
que
Duracao Temporal
tem a
forca
modal
de
Likely
(=>
(
and
(
attribute
?P
Muslim
)
(
capability
Hajj
agent
?P))
(
modalAttribute
(
exists
(?H)
(
and
(
instance
?H
Hajj
)
(
agent
?H ?P)))
Obligation
))
ArabicCulture.kif 134-143
Muslim
e' um
atributo
de
Objeto
Objeto
e'
capaz
de fazer
Hajj
no role
agent
o argumento
Entidade
Entidade
e' uma
instancia
de
Hajj
Entidade
e' um
agente
de
Objeto
tem a
forca
modal
de
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
CommunalAttribute
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Table
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
GroupOfPeople
eventLocated
Processo
and
Objeto
o argumento
Entidade
Entidade
and
Objeto
2
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
agente
de
Entidade
AutonomousAgent
e'
igual
a
Entidade
Entidade
e' uma
instancia
de
GroupOfPeople
eventLocated
Entidade
and
Objeto
2
tempo
de existencia de
Processo
encontra
tempo
de existencia de
Entidade
Objeto
e'
igual
a
Objeto
2 tem a
forca
modal
de
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 25736-25749
Multilingual
e' um
atributo
de
AutonomousAgent
Processo
e' uma
instancia
de
Speaking
Processo
e' um
agente
de
AutonomousAgent
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
SpokenHumanLanguage
Entidade
e' uma
instancia
de
SpokenHumanLanguage
Entidade
e'
igual
a
Entidade
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
tem a
forca
modal
de
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 26147-26159
WheelchairAccessible
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Predio
Objeto
e' uma
instancia
de
Comodo
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Movimento
Entidade
e' um
instrumento
para
Entidade
Entidade
e' uma
instancia
de
Wheelchair
eventLocated
Entidade
and
Objeto
tem a
forca
modal
de
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
Organizacao
e'
capaz
de fazer
ValetParking
no role
agent
customer
Agente Cognitivo
and
Organizacao
Organizacao
e'
situado
em
Objeto
Processo
e' uma
instancia
de
Arriving
Processo
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Processo
termina
em
Objeto
Humano
Humano
ocupa a
posicao
de
Valet
Organizacao
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
ValetParking
Entidade
e' um
agente
de
Humano
Entidade
e' um
patient
de
Entidade
Entidade
termina
em
Entidade
Entidade
e' uma
instancia
de
ParkingRegion
tem a
forca
modal
de
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
Agente Cognitivo
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
Fisico
Fisico
e' uma
sub
-classe de
Processo
o argumento
Entidade
Entidade
and
Entidade
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Entidade
e' um
agente
de
AutonomousAgent
Agente Cognitivo
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
Fisico
Entidade
e' uma
instancia
de
Fisico
Entidade
e' um
sub
-processo de
Entidade
Entidade
e'
situado
em
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18468-18473
defaultMaxValue
Predicado
,
Inteiro positivo
and
Quantidade
Predicado
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
o argumento
Quantidade
e'
maior
que
Entidade
tem a
forca
modal
de
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 13535-13544
defaultMaximumMeasure
Objeto
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
CompositeUnitOfMeasure
o argumento
Entidade
Numero Real
UANTITY
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Unidade de Medida
(s)
Numero Real
UANTITY e'
maior
que
Numero Real
tem a
forca
modal
de
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 13546-13557
defaultMaximumMeasure
Objeto
and
Numero Real
Unidade de Medida
(s)
Classe
e' uma
sub
-classe de
NonCompositeUnitOfMeasure
Unidade de Medida
e' uma
instancia
de
Classe
o argumento
Entidade
Numero Real
UANTITY and
Entidade
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Entidade
(s)
Entidade
e' uma
instancia
de
Classe
Numero Real
UANTITY
Entidade
(s) e'
maior
que
Numero Real
Unidade de Medida
(s) tem a
forca
modal
de
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 13485-13496
defaultMaximumSphereRadius
Objeto
and
Numero Real
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Objeto
Sphere
e' um
atributo
de
Objeto
o argumento
Numero Real
ADIUS
sphereRadius
Objeto
and
Numero Real
ADIUS
Unidade de Medida
(s)
Numero Real
ADIUS e'
maior
que
Numero Real
tem a
forca
modal
de
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 13565-13574
defaultMeasure
Objeto
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
CompositeUnitOfMeasure
o argumento
Entidade
Numero Real
UANTITY
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Unidade de Medida
(s)
Numero Real
UANTITY e'
maior
que
Numero Real
+ 1.5 tem a
forca
modal
de
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 13576-13585
defaultMeasure
Objeto
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
CompositeUnitOfMeasure
o argumento
Entidade
Numero Real
UANTITY
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Unidade de Medida
(s)
Numero Real
UANTITY e'
menos
que
Numero Real
+ .5 tem a
forca
modal
de
Unlikely
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18451-18456
defaultMinValue
Predicado
,
Inteiro positivo
and
Quantidade
Predicado
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
o argumento
Entidade
e'
maior
que
Quantidade
tem a
forca
modal
de
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
O argumento
AmericansWithDisabilitiesAct-US
tem a
forca
modal
de
Law
(
modalAttribute
AntiterrorismAndEffectiveDeathPenaltyAct
Law
)
Government.kif 2407-2407
O argumento
AntiterrorismAndEffectiveDeathPenaltyAct
tem a
forca
modal
de
Law
(
modalAttribute
ImmigrationAndNationalityAct-Section219-US
Law
)
Government.kif 2405-2405
O argumento
ImmigrationAndNationalityAct-Section219-US
tem a
forca
modal
de
Law
(
modalAttribute
ImmigrationAndNationalityAct-US
Law
)
Government.kif 2402-2402
O argumento
ImmigrationAndNationalityAct-US
tem a
forca
modal
de
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