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
Le nombre 1 argument de
property
est une
instance
de
entit�
(
domain
property
2
Attribute
)
Merge.kif 1709-1709
Le nombre 2 argument de
property
est une
instance
de
attribut
(
instance
property
BinaryPredicate
)
Merge.kif 1707-1707
property
est une
instance
de
pr�dicat binaire
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
est une
sous
-relation de
property
(
subrelation
attribute
property
)
Merge.kif 1719-1719
attribute
est une
sous
-relation de
property
(
subrelation
complexity
property
)
QoSontology.kif 1514-1514
complexity
est une
sous
-relation de
property
(
subrelation
designPattern
property
)
QoSontology.kif 1373-1373
designPattern
est une
sous
-relation de
property
(
subrelation
environmentAttributes
property
)
QoSontology.kif 459-459
environmentAttributes
est une
sous
-relation de
property
(
subrelation
formOfAdaptation
property
)
QoSontology.kif 1470-1470
formOfAdaptation
est une
sous
-relation de
property
(
subrelation
manner
property
)
Merge.kif 1731-1731
manner
est une
sous
-relation de
property
(
subrelation
modalAttribute
property
)
Merge.kif 17372-17372
modalAttribute
est une
sous
-relation de
property
(
subrelation
shape
property
)
Merge.kif 7620-7620
shape
est une
sous
-relation de
property
(
subrelation
status
property
)
QoSontology.kif 796-796
status
est une
sous
-relation de
property
(
subrelation
strictness
property
)
QoSontology.kif 1553-1553
strictness
est une
sous
-relation de
property
(
subrelation
systemBehavior
property
)
QoSontology.kif 1342-1342
systemBehavior
est une
sous
-relation 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 2663-2673
Entit�
est une
instance
de
r�gion
entit�
a un
attribute
StandardAmbientTemperaturePressure
pendant
position temporel
airTemperature
entit�
and 298.15
KelvinDegree
(s)
barometricPressure
entit�
and 29.530
InchMercury
(s)
pendant
position temporel
(=>
(
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 est
l
'oppos� de
attribut
est
entit�
attribut
est
entit�
nombre entier positif
est
nombre entier positif
entit�
a un
attribute
attribut
entit�
a un
attribute
attribut
(=>
(
and
(
instance
?ATTR
SpeedScaleAttribute
)
(
property
?X ?ATTR))
(
instance
?X
Motion
))
Weather.kif 2039-2043
Attribut
est une
instance
de
SpeedScaleAttribute
entit�
a un
attribute
attribut
entit�
est une
instance
de
d�palcement
(=>
(
and
(
instance
?BN
BeaufortNumberAttribute
)
(
property
?X ?BN))
(
instance
?X
Wind
))
Weather.kif 331-335
Attribut
est une
instance
de
BeaufortNumberAttribute
entit�
a un
attribute
attribut
entit�
est une
instance
de
Wind
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
ContentBearingPhysical
est une
instance
de
ContractDocument
ContentBearingPhysical
contient
information
proposition
proposition
a un
attribute
Contract
proposition
a un
attribute
Law
(=>
(
and
(
instance
?EF
EFScaleAttribute
)
(
property
?T ?EF))
(
instance
?T
Tornado
))
Weather.kif 2073-2077
Attribut
est une
instance
de
EFScaleAttribute
entit�
a un
attribute
attribut
entit�
est une
instance
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
Processus
est une
instance
de
ExerciseAnOption
Agreement
est un
patient
de
processus
Agreement
a un
attribute
CallOption
processus
existe
pendant
position temporel
underlier
Agreement
and
FinancialInstrument
processus
processus
est une
instance
de
acheter
FinancialInstrument
est un
patient
de
processus
processus
existe
pendant
position temporel
la
mesure
de
FinancialInstrument
est 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
Processus
est une
instance
de
ExerciseAnOption
Agreement
est un
patient
de
processus
Agreement
a un
attribute
PutOption
processus
existe
pendant
position temporel
underlier
Agreement
and
FinancialInstrument
processus
processus
est une
instance
de
vendre
FinancialInstrument
est un
patient
de
processus
processus
existe
pendant
position temporel
la
mesure
de
FinancialInstrument
est 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 2426-2440
Processus
est une
instance
de
Hurricane
entit�
est une
instance
de
SSHWS5
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
entit�
nombre r�el
nombre r�el
est
plus
grand
que 157.0
agent cognitif
croit
nombre r�el
MilesPerHour
(s) est
Mean1MinuteWindSpeedFn
objet
and
temps
d'existence de
processus
(=>
(
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 2348-2367
Processus
est une
instance
de
Hurricane
SpeedScaleAttribute
est une
instance
de
SSHWSAttribute
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
nombre r�el
unit� de mesure
(s) and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
nombre r�el
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
agent cognitif
croit
nombre r�el
unit� de mesure
(s) est
Mean1MinuteWindSpeedFn
objet
and
temps
d'existence de
processus
(=>
(
and
(
instance
?O
OccupationalRole
)
(
property
?X ?O))
(
instance
?X
CognitiveAgent
))
Mid-level-ontology.kif 22300-22304
Attribut
est une
instance
de
OccupationalRole
entit�
a un
attribute
attribut
entit�
est une
instance
de
agent cognitif
(=>
(
and
(
instance
?ORG
OrganicObject
)
(
instance
?ATTR
DevelopmentalAttribute
)
(
holdsDuring
?TIME
(
property
?ORG ?ATTR)))
(
holdsDuring
?TIME
(
developmentalForm
?ORG ?ATTR)))
Mid-level-ontology.kif 234-239
Entit�
est une
instance
de
objet organique
entit�
est une
instance
de
attribut de d�vellopement
entit�
a un
attribute
entit�
pendant
position temporel
la
forme
developmentale
de
entit�
est
entit�
pendant
position temporel
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1165-1169
Entit�
est une
instance
de
ComputerPath
entit�
a un
attribute
ContinuousPath
entit�
a un
attribute
QuasicontinuousPath
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
TransientPath
)))
QoSontology.kif 1159-1163
Entit�
est une
instance
de
ComputerPath
entit�
a un
attribute
ContinuousPath
entit�
a un
attribute
TransientPath
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
DeterministicDataStream
)))
QoSontology.kif 1137-1141
Entit�
est une
instance
de
ComputerPath
entit�
a un
attribute
DynamicDataStream
entit�
a un
attribute
DeterministicDataStream
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
StochasticDataStream
)))
QoSontology.kif 1131-1135
Entit�
est une
instance
de
ComputerPath
entit�
a un
attribute
DynamicDataStream
entit�
a un
attribute
StochasticDataStream
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
BroadGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThan
?WIDTH 1.44))
Transportation.kif 403-409
Railway
est une
instance
de
Railway
Railway
a un
attribute
BroadGauge
trackWidth
Railway
and
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
que 1.44
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
NarrowGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 453-458
Railway
est une
instance
de
Railway
Railway
a un
attribute
NarrowGauge
trackWidth
Railway
and
nombre r�el
Meter
(s)
nombre r�el
est plus
petit
ou �gal � 1.435
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 427-433
Railway
est une
instance
de
Railway
Railway
a un
attribute
StandardGauge
trackWidth
Railway
and
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 1.435
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.44))
Transportation.kif 435-441
Railway
est une
instance
de
Railway
Railway
a un
attribute
StandardGauge
trackWidth
Railway
and
nombre r�el
Meter
(s)
nombre r�el
est plus
petit
ou �gal � 1.44
(=>
(
and
(
instance
?SS
SSHWSAttribute
)
(
property
?H ?SS))
(
instance
?H
Hurricane
))
Weather.kif 2342-2346
Attribut
est une
instance
de
SSHWSAttribute
entit�
a un
attribute
attribut
entit�
est une
instance
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 2174-2188
Processus
est une
instance
de
Tornado
entit�
est une
instance
de
EF5
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
entit�
nombre r�el
nombre r�el
est
plus
grand
que 200.0
agent cognitif
croit
nombre r�el
MilesPerHour
(s) est
ThreeSecondGustSpeedFn
objet
and
temps
d'existence de
processus
(=>
(
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 2079-2097
Processus
est une
instance
de
Tornado
SpeedScaleAttribute
est une
instance
de
EFScaleAttribute
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
nombre r�el
MilesPerHour
(s) and
nombre r�el
MilesPerHour
(s)
nombre r�el
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
agent cognitif
croit
nombre r�el
MilesPerHour
(s) est
ThreeSecondGustSpeedFn
objet
and
temps
d'existence de
processus
(=>
(
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 472-484
Processus
est une
instance
de
Wind
entit�
est une
instance
de
BeaufortNumber12
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
entit�
nombre r�el
nombre r�el
est
plus
grand
que 73.0
agent cognitif
croit
surfaceWindSpeed
objet
and
nombre r�el
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 337-354
Processus
est une
instance
de
Wind
SpeedScaleAttribute
est une
instance
de
BeaufortNumberAttribute
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
nombre r�el
unit� de mesure
(s) and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
nombre r�el
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
agent cognitif
croit
surfaceWindSpeed
objet
and
nombre r�el
unit� de mesure
(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
emploie
Agreement
agent cognitif
agent cognitif
a un
attribute
Employment
partyToAgreement
agent cognitif
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
(<=>
(
exists
(?Process)
(
programRunning
?Process ?Program))
(
property
?Program
Executable
))
QoSontology.kif 989-992
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
programme d'ordinateur
a un
attribute
Executable
(<=>
(
instance
?RR
BroadGaugeRailway
)
(
property
?RR
BroadGauge
))
Transportation.kif 411-413
Entit�
est une
instance
de
BroadGaugeRailway
entit�
a un
attribute
BroadGauge
(<=>
(
instance
?RR
DualGaugeRailway
)
(
property
?RR
DualGauge
))
Transportation.kif 469-471
Entit�
est une
instance
de
DualGaugeRailway
entit�
a un
attribute
DualGauge
(<=>
(
instance
?RR
NarrowGaugeRailway
)
(
property
?RR
NarrowGauge
))
Transportation.kif 460-462
Entit�
est une
instance
de
NarrowGaugeRailway
entit�
a un
attribute
NarrowGauge
(<=>
(
instance
?RR
StandardGaugeRailway
)
(
property
?RR
StandardGauge
))
Transportation.kif 443-445
Entit�
est une
instance
de
StandardGaugeRailway
entit�
a un
attribute
StandardGauge
(=>
(
agreementExpirationDate
?AGREEMENT ?ENDDATE)
(
holdsDuring
(
FutureFn
?ENDDATE)
(
not
(
property
?AGREEMENT
ActiveAgreement
))))
Mid-level-ontology.kif 14082-14085
agreementExpirationDate
Agreement
and
point temporel
Agreement
a un
attribute
ActiveAgreement
pendant
apr
�s
point temporel
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14043-14048
agreementPeriod
Agreement
and
interval temporel
agreementEffectiveDate
Agreement
and
point temporel
Agreement
a un
attribute
ActiveAgreement
pendant
TimePeriodFn
point temporel
and
interval temporel
(=>
(
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 17403-17416
Attribut
est un
attribut
de
objet
attribut
est une
instance
de
attribut subjectif
position temporel
processus
and
AutonomousAgent
processus
est une
instance
de
Judging
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
attribut
est un
attribut
de
objet
est le
resultat
de
processus
AutonomousAgent
croit
objet
a un
attribute
attribut
pendant
position temporel
(=>
(
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 est
l
'oppos� de
attribut
est
entit�
attribut
est
entit�
nombre entier positif
est
nombre entier positif
entit�
a un
attribute
attribut
entit�
a un
attribute
attribut
(=>
(
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
est une
instance
de
LiabilityAccount
accountHolder
FinancialAccount
and
Agreement
accountAt
FinancialAccount
and
Agreement
agent cognitif
agent cognitif
a un
attribute
Liability
partyToAgreement
agent cognitif
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
ContentBearingPhysical
est une
instance
de
ContractDocument
ContentBearingPhysical
contient
information
proposition
proposition
a un
attribute
Contract
proposition
a un
attribute
Law
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1165-1169
Entit�
est une
instance
de
ComputerPath
entit�
a un
attribute
ContinuousPath
entit�
a un
attribute
QuasicontinuousPath
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
TransientPath
)))
QoSontology.kif 1159-1163
Entit�
est une
instance
de
ComputerPath
entit�
a un
attribute
ContinuousPath
entit�
a un
attribute
TransientPath
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
DeterministicDataStream
)))
QoSontology.kif 1137-1141
Entit�
est une
instance
de
ComputerPath
entit�
a un
attribute
DynamicDataStream
entit�
a un
attribute
DeterministicDataStream
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
StochasticDataStream
)))
QoSontology.kif 1131-1135
Entit�
est une
instance
de
ComputerPath
entit�
a un
attribute
DynamicDataStream
entit�
a un
attribute
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
Entit�
_COLL est une
instance
de
collection
entit�
_COLL est une
instance
de
collection
Experimenting
est une
instance
de
Experimenting
agent cognitif
est une
instance
de
agent cognitif
Experimenting
est un
agent
de
agent cognitif
statisticalPopulation
entit�
_COLL,
entit�
_COLL and
Experimenting
attribut
attribut
est une
instance
de
attribut
entit�
_COLL a un
attribute
attribut
agent cognitif
est
interess
� par
attribut
attribut
est
RepresentativeSample
entit�
_COLL a un
attribute
attribut
(=>
(
and
(
property
?Option
StockOption
)
(
underlier
?Option ?Stock))
(
property
?Stock
CommonStock
))
FinancialOntology.kif 2712-2716
Agreement
a un
attribute
StockOption
underlier
Agreement
and
FinancialInstrument
FinancialInstrument
a un
attribute
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 2113-2126
speedScaleAttributeMinMax
SpeedScaleAttribute
,
nombre r�el
unit� de mesure
(s) and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
physique
nombre r�el
physique
est une
instance
de
d�palcement
physique
a un
attribute
SpeedScaleAttribute
la
mesure
de
physique
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
(=>
(
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 20850-20863
contractor
artefact stationnaire
and
agent cognitif
Agreement
agent cognitif
Agreement
a un
attribute
Contract
partyToAgreement
agent cognitif
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
agent cognitif
oblige
agent cognitif
� ex�cut� des t�ches du type
entit�
artefact stationnaire
entit�
est une
instance
de
construire
entit�
est un
agent
de
agent cognitif
artefact stationnaire
est le
resultat
de
entit�
artefact stationnaire
est une
instance
de
artefact stationnaire
(=>
(
dataStreamSlack
?Path ?Number)
(
or
(
property
?Path
ContinuousPath
)
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1214-1218
dataStreamSlack
ComputerPath
and
nombre entier positif
ComputerPath
a un
attribute
ContinuousPath
ComputerPath
a un
attribute
QuasicontinuousPath
(=>
(
equal
?ATTR1 ?ATTR2)
(
forall
(?THING)
(<=>
(
property
?THING ?ATTR1)
(
property
?THING ?ATTR2))))
Merge.kif 267-272
Attribut
est
attribut
entit�
entit�
a un
attribute
attribut
entit�
a un
attribute
attribut
(=>
(
equal
?THING1 ?THING2)
(
forall
(?ATTR)
(<=>
(
property
?THING1 ?ATTR)
(
property
?THING2 ?ATTR))))
Merge.kif 260-265
Entit�
est
entit�
attribut
entit�
a un
attribute
attribut
entit�
a un
attribute
attribut
(=>
(
instance
?A
Aqiqah
)
(
exists
(?AGENT)
(
and
(
agent
?A ?AGENT)
(
property
?A
Muslim
))))
ArabicCulture.kif 326-331
Processus
est une
instance
de
Aqiqah
processus
GENT
processus
est un
agent
de
processus
GENT
processus
a un
attribute
Muslim
(=>
(
instance
?Account
FinancialAccount
)
(
and
(
property
?Account
FinancialContract
)
(
property
?Account
ServiceContract
)))
FinancialOntology.kif 63-67
Entit�
est une
instance
de
FinancialAccount
entit�
a un
attribute
FinancialContract
entit�
a un
attribute
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 30591-30591
Cheetah
a un
attribute
VulnerableSpecies
(
property
Crocodile
LeastConcernSpecies
)
Mid-level-ontology.kif 30567-30567
Crocodile
a un
attribute
LeastConcernSpecies
(
property
Ferret
LeastConcernSpecies
)
Mid-level-ontology.kif 30608-30608
Ferret
a un
attribute
LeastConcernSpecies
(
property
GuineaPig
LeastConcernSpecies
)
Mid-level-ontology.kif 30626-30626
GuineaPig
a un
attribute
LeastConcernSpecies
(
property
Hamster
LeastConcernSpecies
)
Mid-level-ontology.kif 30638-30638
Hamster
a un
attribute
LeastConcernSpecies
(
property
Lemur
CriticallyEndangeredSpecies
)
Mid-level-ontology.kif 30497-30497
Lemur
a un
attribute
CriticallyEndangeredSpecies
(
property
Lion
VulnerableSpecies
)
Mid-level-ontology.kif 30398-30398
Lion
a un
attribute
VulnerableSpecies
(
property
Octopus
LeastConcernSpecies
)
Mid-level-ontology.kif 30527-30527
Octopus
a un
attribute
LeastConcernSpecies
(
property
Panda
VulnerableSpecies
)
Mid-level-ontology.kif 30514-30514
Panda
a un
attribute
VulnerableSpecies
(
property
Parrot
LeastConcernSpecies
)
Mid-level-ontology.kif 30480-30480
Parrot
a un
attribute
LeastConcernSpecies
(
property
Reindeer
VulnerableSpecies
)
Mid-level-ontology.kif 30549-30549
Reindeer
a un
attribute
VulnerableSpecies
(
property
Rhinoceros
EndangeredSpecies
)
Mid-level-ontology.kif 30457-30457
Rhinoceros
a un
attribute
EndangeredSpecies
(
property
Tiger
EndangeredSpecies
)
Mid-level-ontology.kif 30437-30437
Tiger
a un
attribute
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