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
property
Sigma KEE - property
property
appearance as argument number 1
(
documentation
property
ChineseLanguage
"这个
Predicate
在
Entity
的实例和
Attribute
的 实例成立。(
property
?ENTITY ?ATTR) 的意思是 ?ENTITY 有 ?ATTR 的
Attribute
。")
chinese_format.kif 1712-1713
(
documentation
property
EnglishLanguage
"This
Predicate
holds between an instance of
Entity
and an instance of
Attribute
. (
property
?ENTITY ?ATTR) means that ?ENTITY has the
Attribute
?ATTR.")
Merge.kif 1711-1713
(
documentation
property
JapaneseLanguage
"この
Predicate
は、E と A のインスタンスの間に 保持される。(
property
?ENTITY ?ATTR) とは、?ENTITY が
Attribute
?ATTR を有する、という 意味である。")
japanese_format.kif 315-317
(
domain
property
1
Entity
)
Merge.kif 1708-1708
O argumento numero 1 de
property
e' uma
instancia
de
Entidade
(
domain
property
2
Attribute
)
Merge.kif 1709-1709
O argumento numero 2 de
property
e' uma
instancia
de
Atributo
(
instance
property
BinaryPredicate
)
Merge.kif 1707-1707
property
e' uma
instancia
de
Predicado Binario
appearance as argument number 2
(
format
ChineseLanguage
property
"%1 %n 有 %2 的
attribute
")
chinese_format.kif 177-177
(
format
EnglishLanguage
property
"%1 %n{does not have} the
attribute
%2")
english_format.kif 178-178
(
format
FrenchLanguage
property
"%1 a %n un
attribute
%2")
french_format.kif 108-108
(
format
ItalianLanguage
property
"%1 ha %n un attributo %2")
relations-it.txt 235-235
(
format
JapaneseLanguage
property
"%1 には
attribute
%2 %n{ない}")
japanese_format.kif 1937-1937
(
format
PortugueseLanguage
property
"%1 tem %n um atributo de %2")
portuguese_format.kif 60-60
(
format
cz
property
"%1 %n{ne}m� atribut %2")
relations-cz.txt 72-72
(
format
de
property
"%1 hat ein attribut %2 %n{nicht}")
relations-de.txt 223-223
(
format
hi
property
"%2 %1 kii eka visheshhataa %n hai")
relations-hindi.txt 273-273
(
format
ro
property
"%1 %n{nu} are
attribute
%t{atributul} %2")
relations-ro.kif 127-127
(
format
sv
property
"%1 har %n{inte} egenskapen %2")
relations-sv.txt 113-113
(
format
tg
property
"%1 %n mayroon ay ang katangian ng %2")
relations-tg.txt 427-427
(
subrelation
abstractionLevel
property
)
QoSontology.kif 1617-1617
abstractionLevel
e' uma
sub
-relacao de
property
(
subrelation
attribute
property
)
Merge.kif 1719-1719
attribute
e' uma
sub
-relacao de
property
(
subrelation
complexity
property
)
QoSontology.kif 1514-1514
complexity
e' uma
sub
-relacao de
property
(
subrelation
designPattern
property
)
QoSontology.kif 1373-1373
designPattern
e' uma
sub
-relacao de
property
(
subrelation
environmentAttributes
property
)
QoSontology.kif 459-459
environmentAttributes
e' uma
sub
-relacao de
property
(
subrelation
formOfAdaptation
property
)
QoSontology.kif 1470-1470
formOfAdaptation
e' uma
sub
-relacao de
property
(
subrelation
manner
property
)
Merge.kif 1731-1731
manner
e' uma
sub
-relacao de
property
(
subrelation
modalAttribute
property
)
Merge.kif 17301-17301
modalAttribute
e' uma
sub
-relacao de
property
(
subrelation
shape
property
)
Mid-level-ontology.kif 25575-25575
shape
e' uma
sub
-relacao de
property
(
subrelation
status
property
)
QoSontology.kif 796-796
status
e' uma
sub
-relacao de
property
(
subrelation
strictness
property
)
QoSontology.kif 1553-1553
strictness
e' uma
sub
-relacao de
property
(
subrelation
systemBehavior
property
)
QoSontology.kif 1342-1342
systemBehavior
e' uma
sub
-relacao de
property
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
(<=>
(
and
(
instance
?X
Region
)
(
holdsDuring
?T
(
property
?X
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
and
(
airTemperature
?X
(
MeasureFn
298.15
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
29.530
InchMercury
)))))
Weather.kif 2680-2690
Entidade
e' uma
instancia
de
Regiao
Entidade
tem um
atributo
de
StandardAmbientTemperaturePressure
vale
durante
Posicao Temporal
airTemperature
Entidade
and 298.15
KelvinDegree
(s)
barometricPressure
Entidade
and 29.530
InchMercury
(s)
vale
durante
Posicao Temporal
(=>
(
and
(
contraryAttribute
@ROW)
(
equal
?ATTR1
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER1))
(
equal
?ATTR2
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER2))
(
not
(
equal
?NUMBER1 ?NUMBER2))
(
property
?OBJ ?ATTR1))
(
not
(
property
?OBJ ?ATTR2)))
Merge.kif 476-484
@ROW e' &o oposto de
Atributo
e'
igual
a
Entidade
elemento
de (@ROW)
Atributo
e'
igual
a
Entidade
elemento
de (@ROW)
Inteiro positivo
e'
igual
a
Inteiro positivo
Entidade
tem um
atributo
de
Atributo
Entidade
tem um
atributo
de
Atributo
(=>
(
and
(
instance
?ATTR
SpeedScaleAttribute
)
(
property
?X ?ATTR))
(
instance
?X
Motion
))
Weather.kif 2056-2060
Atributo
e' uma
instancia
de
SpeedScaleAttribute
Entidade
tem um
atributo
de
Atributo
Entidade
e' uma
instancia
de
Movimento
(=>
(
and
(
instance
?BN
BeaufortNumberAttribute
)
(
property
?X ?BN))
(
instance
?X
Wind
))
Weather.kif 343-347
Atributo
e' uma
instancia
de
BeaufortNumberAttribute
Entidade
tem um
atributo
de
Atributo
Entidade
e' uma
instancia
de
Wind
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
ContentBearingPhysical
e' uma
instancia
de
ContractDocument
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
tem um
atributo
de
Contract
Proposicao
tem um
atributo
de
Law
(=>
(
and
(
instance
?EF
EFScaleAttribute
)
(
property
?T ?EF))
(
instance
?T
Tornado
))
Weather.kif 2090-2094
Atributo
e' uma
instancia
de
EFScaleAttribute
Entidade
tem um
atributo
de
Atributo
Entidade
e' uma
instancia
de
Tornado
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
property
?Option
CallOption
)
(
time
?Exercise ?Time)
(
underlier
?Option ?Stocks))
(
exists
(?Buy)
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
)))))
FinancialOntology.kif 2754-2766
Processo
e' uma
instancia
de
ExerciseAnOption
Agreement
e' um
patient
de
Processo
Agreement
tem um
atributo
de
CallOption
Processo
existe
durante
Posicao Temporal
underlier
Agreement
and
FinancialInstrument
Processo
Processo
e' uma
instancia
de
Comprar
FinancialInstrument
e' um
patient
de
Processo
Processo
existe
durante
Posicao Temporal
a
medida
de
FinancialInstrument
e' 100
ShareUnit
(s)
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
property
?Option
PutOption
)
(
time
?Exercise ?Time)
(
underlier
?Option ?Stocks))
(
exists
(?Sell)
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
)))))
FinancialOntology.kif 2768-2780
Processo
e' uma
instancia
de
ExerciseAnOption
Agreement
e' um
patient
de
Processo
Agreement
tem um
atributo
de
PutOption
Processo
existe
durante
Posicao Temporal
underlier
Agreement
and
FinancialInstrument
Processo
Processo
e' uma
instancia
de
Vender
FinancialInstrument
e' um
patient
de
Processo
Processo
existe
durante
Posicao Temporal
a
medida
de
FinancialInstrument
e' 100
ShareUnit
(s)
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWS5
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS)))
(
exists
(?WIND)
(
and
(
greaterThan
?WIND 157.0)
(
believes
?A
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2443-2457
Processo
e' uma
instancia
de
Hurricane
Entidade
e' uma
instancia
de
SSHWS5
eventLocated
Processo
and
Objeto
Agente Cognitivo
acredita
que
Processo
tem um
atributo
de
Entidade
Numero Real
Numero Real
e'
maior
que 157.0
Agente Cognitivo
acredita
que
Numero Real
MilesPerHour
(s) e'
igual
a
Mean1MinuteWindSpeedFn
Objeto
and
tempo
de existencia de
Processo
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWSAttribute
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS))
(
speedScaleAttributeMinMax
?SS
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?WIND)
(
and
(
greaterThanOrEqualTo
?WIND ?MIN)
(
lessThanOrEqualTo
?WIND ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?WIND ?U)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2365-2384
Processo
e' uma
instancia
de
Hurricane
SpeedScaleAttribute
e' uma
instancia
de
SSHWSAttribute
eventLocated
Processo
and
Objeto
Agente Cognitivo
acredita
que
Processo
tem um
atributo
de
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
Numero Real
Unidade de Medida
(s) and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Numero Real
Numero Real
e'
maior
ou igual a
Numero Real
Numero Real
e'
menor
ou igual a
Numero Real
Agente Cognitivo
acredita
que
Numero Real
Unidade de Medida
(s) e'
igual
a
Mean1MinuteWindSpeedFn
Objeto
and
tempo
de existencia de
Processo
(=>
(
and
(
instance
?O
OccupationalRole
)
(
property
?X ?O))
(
instance
?X
CognitiveAgent
))
Mid-level-ontology.kif 22248-22252
Atributo
e' uma
instancia
de
OccupationalRole
Entidade
tem um
atributo
de
Atributo
Entidade
e' uma
instancia
de
Agente Cognitivo
(=>
(
and
(
instance
?ORG
OrganicObject
)
(
instance
?ATTR
DevelopmentalAttribute
)
(
holdsDuring
?TIME
(
property
?ORG ?ATTR)))
(
holdsDuring
?TIME
(
developmentalForm
?ORG ?ATTR)))
Mid-level-ontology.kif 241-246
Entidade
e' uma
instancia
de
Objeto Organico
Entidade
e' uma
instancia
de
Atributo Desenvolvimental
Entidade
tem um
atributo
de
Entidade
vale
durante
Posicao Temporal
a
forma
developmental
de
Entidade
e'
Entidade
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1165-1169
Entidade
e' uma
instancia
de
ComputerPath
Entidade
tem um
atributo
de
ContinuousPath
Entidade
tem um
atributo
de
QuasicontinuousPath
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
TransientPath
)))
QoSontology.kif 1159-1163
Entidade
e' uma
instancia
de
ComputerPath
Entidade
tem um
atributo
de
ContinuousPath
Entidade
tem um
atributo
de
TransientPath
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
DeterministicDataStream
)))
QoSontology.kif 1137-1141
Entidade
e' uma
instancia
de
ComputerPath
Entidade
tem um
atributo
de
DynamicDataStream
Entidade
tem um
atributo
de
DeterministicDataStream
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
StochasticDataStream
)))
QoSontology.kif 1131-1135
Entidade
e' uma
instancia
de
ComputerPath
Entidade
tem um
atributo
de
DynamicDataStream
Entidade
tem um
atributo
de
StochasticDataStream
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
BroadGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThan
?WIDTH 1.44))
Transportation.kif 403-409
Railway
e' uma
instancia
de
Railway
Railway
tem um
atributo
de
BroadGauge
trackWidth
Railway
and
Numero Real
Meter
(s)
Numero Real
e'
maior
que 1.44
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
NarrowGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 453-458
Railway
e' uma
instancia
de
Railway
Railway
tem um
atributo
de
NarrowGauge
trackWidth
Railway
and
Numero Real
Meter
(s)
Numero Real
e'
menor
ou igual a 1.435
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 427-433
Railway
e' uma
instancia
de
Railway
Railway
tem um
atributo
de
StandardGauge
trackWidth
Railway
and
Numero Real
Meter
(s)
Numero Real
e'
maior
ou igual a 1.435
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.44))
Transportation.kif 435-441
Railway
e' uma
instancia
de
Railway
Railway
tem um
atributo
de
StandardGauge
trackWidth
Railway
and
Numero Real
Meter
(s)
Numero Real
e'
menor
ou igual a 1.44
(=>
(
and
(
instance
?SS
SSHWSAttribute
)
(
property
?H ?SS))
(
instance
?H
Hurricane
))
Weather.kif 2359-2363
Atributo
e' uma
instancia
de
SSHWSAttribute
Entidade
tem um
atributo
de
Atributo
Entidade
e' uma
instancia
de
Hurricane
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EF5
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF)))
(
exists
(?GUST)
(
and
(
greaterThan
?GUST 200.0)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2191-2205
Processo
e' uma
instancia
de
Tornado
Entidade
e' uma
instancia
de
EF5
eventLocated
Processo
and
Objeto
Agente Cognitivo
acredita
que
Processo
tem um
atributo
de
Entidade
Numero Real
Numero Real
e'
maior
que 200.0
Agente Cognitivo
acredita
que
Numero Real
MilesPerHour
(s) e'
igual
a
ThreeSecondGustSpeedFn
Objeto
and
tempo
de existencia de
Processo
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EFScaleAttribute
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF))
(
speedScaleAttributeMinMax
?EF
(
MeasureFn
?MIN
MilesPerHour
)
(
MeasureFn
?MAX
MilesPerHour
)))
(
exists
(?GUST)
(
and
(
greaterThanOrEqualTo
?GUST ?MIN)
(
lessThanOrEqualTo
?GUST ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2096-2114
Processo
e' uma
instancia
de
Tornado
SpeedScaleAttribute
e' uma
instancia
de
EFScaleAttribute
eventLocated
Processo
and
Objeto
Agente Cognitivo
acredita
que
Processo
tem um
atributo
de
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
Numero Real
MilesPerHour
(s) and
Numero Real
MilesPerHour
(s)
Numero Real
Numero Real
e'
maior
ou igual a
Numero Real
Numero Real
e'
menor
ou igual a
Numero Real
Agente Cognitivo
acredita
que
Numero Real
MilesPerHour
(s) e'
igual
a
ThreeSecondGustSpeedFn
Objeto
and
tempo
de existencia de
Processo
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumber12
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN)))
(
exists
(?SPEED)
(
and
(
greaterThan
?SPEED 73.0)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED
MilesPerHour
))))))
Weather.kif 484-496
Processo
e' uma
instancia
de
Wind
Entidade
e' uma
instancia
de
BeaufortNumber12
eventLocated
Processo
and
Objeto
Agente Cognitivo
acredita
que
Processo
tem um
atributo
de
Entidade
Numero Real
Numero Real
e'
maior
que 73.0
Agente Cognitivo
acredita
que
surfaceWindSpeed
Objeto
and
Numero Real
MilesPerHour
(s)
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumberAttribute
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN))
(
speedScaleAttributeMinMax
?BN
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?SPEED)
(
and
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED ?U))))))
Weather.kif 349-366
Processo
e' uma
instancia
de
Wind
SpeedScaleAttribute
e' uma
instancia
de
BeaufortNumberAttribute
eventLocated
Processo
and
Objeto
Agente Cognitivo
acredita
que
Processo
tem um
atributo
de
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
Numero Real
Unidade de Medida
(s) and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Numero Real
Numero Real
e'
maior
ou igual a
Numero Real
Numero Real
e'
menor
ou igual a
Numero Real
Agente Cognitivo
acredita
que
surfaceWindSpeed
Objeto
and
Numero Real
Unidade de Medida
(s)
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
employs
?Org ?Agent)
(
exists
(?Employment)
(
and
(
property
?Employment
Employment
)
(
partyToAgreement
?Employment ?Org)
(
partyToAgreement
?Employment ?Agent))))
FinancialOntology.kif 3260-3266
Agreement
emprega
Agreement
Agente Cognitivo
Agente Cognitivo
tem um
atributo
de
Employment
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
(<=>
(
exists
(?Process)
(
programRunning
?Process ?Program))
(
property
?Program
Executable
))
QoSontology.kif 989-992
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
Programa de Computador
tem um
atributo
de
Executable
(<=>
(
instance
?RR
BroadGaugeRailway
)
(
property
?RR
BroadGauge
))
Transportation.kif 411-413
Entidade
e' uma
instancia
de
BroadGaugeRailway
Entidade
tem um
atributo
de
BroadGauge
(<=>
(
instance
?RR
DualGaugeRailway
)
(
property
?RR
DualGauge
))
Transportation.kif 469-471
Entidade
e' uma
instancia
de
DualGaugeRailway
Entidade
tem um
atributo
de
DualGauge
(<=>
(
instance
?RR
NarrowGaugeRailway
)
(
property
?RR
NarrowGauge
))
Transportation.kif 460-462
Entidade
e' uma
instancia
de
NarrowGaugeRailway
Entidade
tem um
atributo
de
NarrowGauge
(<=>
(
instance
?RR
StandardGaugeRailway
)
(
property
?RR
StandardGauge
))
Transportation.kif 443-445
Entidade
e' uma
instancia
de
StandardGaugeRailway
Entidade
tem um
atributo
de
StandardGauge
(=>
(
agreementExpirationDate
?AGREEMENT ?ENDDATE)
(
holdsDuring
(
FutureFn
?ENDDATE)
(
not
(
property
?AGREEMENT
ActiveAgreement
))))
Mid-level-ontology.kif 14055-14058
agreementExpirationDate
Agreement
and
Ponto no tempo
Agreement
tem um
atributo
de
ActiveAgreement
vale
durante
apos
Ponto no tempo
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14016-14021
agreementPeriod
Agreement
and
Intervalo Temporal
agreementEffectiveDate
Agreement
and
Ponto no tempo
Agreement
tem um
atributo
de
ActiveAgreement
vale
durante
TimePeriodFn
Ponto no tempo
and
Intervalo Temporal
(=>
(
and
(
attribute
?OBJ ?ATR)
(
instance
?ATR
SubjectiveAssessmentAttribute
))
(
exists
(?TIME ?JUDGE ?AGENT)
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
patient
?JUDGE ?OBJ)
(
result
?JUDGE
(
attribute
?OBJ ?ATR))
(
holdsDuring
?TIME
(
believes
?AGENT
(
property
?OBJ ?ATR))))))
Merge.kif 17332-17345
Atributo
e' um
atributo
de
Objeto
Atributo
e' uma
instancia
de
Atributo Subjectivo
Posicao Temporal
Processo
and
AutonomousAgent
Processo
e' uma
instancia
de
Judging
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
Atributo
e' um
atributo
de
Objeto
e' o
resultado
de
Processo
AutonomousAgent
acredita
que
Objeto
tem um
atributo
de
Atributo
vale
durante
Posicao Temporal
(=>
(
and
(
contraryAttribute
@ROW)
(
equal
?ATTR1
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER1))
(
equal
?ATTR2
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER2))
(
not
(
equal
?NUMBER1 ?NUMBER2))
(
property
?OBJ ?ATTR1))
(
not
(
property
?OBJ ?ATTR2)))
Merge.kif 476-484
@ROW e' &o oposto de
Atributo
e'
igual
a
Entidade
elemento
de (@ROW)
Atributo
e'
igual
a
Entidade
elemento
de (@ROW)
Inteiro positivo
e'
igual
a
Inteiro positivo
Entidade
tem um
atributo
de
Atributo
Entidade
tem um
atributo
de
Atributo
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
exists
(?Debt)
(
and
(
property
?Debt
Liability
)
(
partyToAgreement
?Debt ?Agent)
(
partyToAgreement
?Debt ?Bank))))
FinancialOntology.kif 1162-1171
FinancialAccount
e' uma
instancia
de
LiabilityAccount
accountHolder
FinancialAccount
and
Agreement
accountAt
FinancialAccount
and
Agreement
Agente Cognitivo
Agente Cognitivo
tem um
atributo
de
Liability
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
ContentBearingPhysical
e' uma
instancia
de
ContractDocument
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
tem um
atributo
de
Contract
Proposicao
tem um
atributo
de
Law
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1165-1169
Entidade
e' uma
instancia
de
ComputerPath
Entidade
tem um
atributo
de
ContinuousPath
Entidade
tem um
atributo
de
QuasicontinuousPath
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
TransientPath
)))
QoSontology.kif 1159-1163
Entidade
e' uma
instancia
de
ComputerPath
Entidade
tem um
atributo
de
ContinuousPath
Entidade
tem um
atributo
de
TransientPath
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
DeterministicDataStream
)))
QoSontology.kif 1137-1141
Entidade
e' uma
instancia
de
ComputerPath
Entidade
tem um
atributo
de
DynamicDataStream
Entidade
tem um
atributo
de
DeterministicDataStream
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
StochasticDataStream
)))
QoSontology.kif 1131-1135
Entidade
e' uma
instancia
de
ComputerPath
Entidade
tem um
atributo
de
DynamicDataStream
Entidade
tem um
atributo
de
StochasticDataStream
(=>
(
and
(
instance
?SAMPLE_COLL
Collection
)
(
instance
?POP_COLL
Collection
)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?AGENT
CognitiveAgent
)
(
agent
?EXPERIMENT ?AGENT)
(
statisticalPopulation
?SAMPLE_COLL ?POP_COLL ?EXPERIMENT))
(
forall
(?ATTRIBUTE)
(=>
(
and
(
instance
?ATTRIBUTE
Attribute
)
(
property
?SAMPLE_COLL ?ATTRIBUTE)
(
inScopeOfInterest
?AGENT ?ATTRIBUTE)
(
not
(
equal
?ATTRIBUTE
RepresentativeSample
)))
(
property
?POP_COLL ?ATTRIBUTE))))
UXExperimentalTerms.kif 501-517
Entidade
_COLL e' uma
instancia
de
Colecao
Entidade
_COLL e' uma
instancia
de
Colecao
Experimenting
e' uma
instancia
de
Experimenting
Agente Cognitivo
e' uma
instancia
de
Agente Cognitivo
Experimenting
e' um
agente
de
Agente Cognitivo
statisticalPopulation
Entidade
_COLL,
Entidade
_COLL and
Experimenting
Atributo
Atributo
e' uma
instancia
de
Atributo
Entidade
_COLL tem um
atributo
de
Atributo
Agente Cognitivo
esta'
interessado
em
Atributo
Atributo
e'
igual
a
RepresentativeSample
Entidade
_COLL tem um
atributo
de
Atributo
(=>
(
and
(
property
?Option
StockOption
)
(
underlier
?Option ?Stock))
(
property
?Stock
CommonStock
))
FinancialOntology.kif 2712-2716
Agreement
tem um
atributo
de
StockOption
underlier
Agreement
and
FinancialInstrument
FinancialInstrument
tem um
atributo
de
CommonStock
(=>
(
and
(
speedScaleAttributeMinMax
?ATTR
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?X ?SPEED)
(
and
(
instance
?X
Motion
)
(
property
?X ?ATTR)
(
measure
?X
(
MeasureFn
?SPEED ?U))
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX))))
Weather.kif 2130-2143
speedScaleAttributeMinMax
SpeedScaleAttribute
,
Numero Real
Unidade de Medida
(s) and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Fisico
Numero Real
Fisico
e' uma
instancia
de
Movimento
Fisico
tem um
atributo
de
SpeedScaleAttribute
a
medida
de
Fisico
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a
Numero Real
Numero Real
e'
menor
ou igual a
Numero Real
(=>
(
contractor
?BUILDING ?CONTRACTOR)
(
exists
(?CONTRACT ?AGENT)
(
and
(
property
?CONTRACT
Contract
)
(
partyToAgreement
?AGENT ?CONTRACT)
(
partyToAgreement
?CONTRACTOR ?CONTRACT)
(
confersObligation
(
exists
(?CONSTRUCT ?BUILDING2)
(
and
(
instance
?CONSTRUCT
Constructing
)
(
agent
?CONSTRUCT ?CONTRACTOR)
(
result
?CONSTRUCT ?BUILDING2)
(
instance
?BUILDING2
StationaryArtifact
))) ?AGENT ?CONTRACTOR))))
Mid-level-ontology.kif 20823-20836
contractor
Artefato Estacionario
and
Agente Cognitivo
Agreement
Agente Cognitivo
Agreement
tem um
atributo
de
Contract
partyToAgreement
Agente Cognitivo
and
Agreement
partyToAgreement
Agente Cognitivo
and
Agreement
Agente Cognitivo
obriga
Agente Cognitivo
a executar tarefas de tipo
Entidade
Artefato Estacionario
Entidade
e' uma
instancia
de
Construcao
Entidade
e' um
agente
de
Agente Cognitivo
Artefato Estacionario
e' o
resultado
de
Entidade
Artefato Estacionario
e' uma
instancia
de
Artefato Estacionario
(=>
(
dataStreamSlack
?Path ?Number)
(
or
(
property
?Path
ContinuousPath
)
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1214-1218
dataStreamSlack
ComputerPath
and
Inteiro positivo
ComputerPath
tem um
atributo
de
ContinuousPath
ComputerPath
tem um
atributo
de
QuasicontinuousPath
(=>
(
equal
?ATTR1 ?ATTR2)
(
forall
(?THING)
(<=>
(
property
?THING ?ATTR1)
(
property
?THING ?ATTR2))))
Merge.kif 267-272
Atributo
e'
igual
a
Atributo
Entidade
Entidade
tem um
atributo
de
Atributo
Entidade
tem um
atributo
de
Atributo
(=>
(
equal
?THING1 ?THING2)
(
forall
(?ATTR)
(<=>
(
property
?THING1 ?ATTR)
(
property
?THING2 ?ATTR))))
Merge.kif 260-265
Entidade
e'
igual
a
Entidade
Atributo
Entidade
tem um
atributo
de
Atributo
Entidade
tem um
atributo
de
Atributo
(=>
(
instance
?A
Aqiqah
)
(
exists
(?AGENT)
(
and
(
agent
?A ?AGENT)
(
property
?A
Muslim
))))
ArabicCulture.kif 326-331
Processo
e' uma
instancia
de
Aqiqah
Processo
GENT
Processo
e' um
agente
de
Processo
GENT
Processo
tem um
atributo
de
Muslim
(=>
(
instance
?Account
FinancialAccount
)
(
and
(
property
?Account
FinancialContract
)
(
property
?Account
ServiceContract
)))
FinancialOntology.kif 63-67
Entidade
e' uma
instancia
de
FinancialAccount
Entidade
tem um
atributo
de
FinancialContract
Entidade
tem um
atributo
de
ServiceContract
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
property
Cheetah
VulnerableSpecies
)
Mid-level-ontology.kif 30567-30567
Cheetah
tem um
atributo
de
VulnerableSpecies
(
property
Crocodile
LeastConcernSpecies
)
Mid-level-ontology.kif 30543-30543
Crocodile
tem um
atributo
de
LeastConcernSpecies
(
property
Ferret
LeastConcernSpecies
)
Mid-level-ontology.kif 30584-30584
Ferret
tem um
atributo
de
LeastConcernSpecies
(
property
GuineaPig
LeastConcernSpecies
)
Mid-level-ontology.kif 30602-30602
GuineaPig
tem um
atributo
de
LeastConcernSpecies
(
property
Hamster
LeastConcernSpecies
)
Mid-level-ontology.kif 30614-30614
Hamster
tem um
atributo
de
LeastConcernSpecies
(
property
Lemur
CriticallyEndangeredSpecies
)
Mid-level-ontology.kif 30473-30473
Lemur
tem um
atributo
de
CriticallyEndangeredSpecies
(
property
Lion
VulnerableSpecies
)
Mid-level-ontology.kif 30374-30374
Lion
tem um
atributo
de
VulnerableSpecies
(
property
Octopus
LeastConcernSpecies
)
Mid-level-ontology.kif 30503-30503
Octopus
tem um
atributo
de
LeastConcernSpecies
(
property
Panda
VulnerableSpecies
)
Mid-level-ontology.kif 30490-30490
Panda
tem um
atributo
de
VulnerableSpecies
(
property
Parrot
LeastConcernSpecies
)
Mid-level-ontology.kif 30456-30456
Parrot
tem um
atributo
de
LeastConcernSpecies
(
property
Reindeer
VulnerableSpecies
)
Mid-level-ontology.kif 30525-30525
Reindeer
tem um
atributo
de
VulnerableSpecies
(
property
Rhinoceros
EndangeredSpecies
)
Mid-level-ontology.kif 30433-30433
Rhinoceros
tem um
atributo
de
EndangeredSpecies
(
property
Tiger
EndangeredSpecies
)
Mid-level-ontology.kif 30413-30413
Tiger
tem um
atributo
de
EndangeredSpecies
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