Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
Chromosome
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 1721-1723
(
documentation
property
JapaneseLanguage
"この
Predicate
は、E と A のインスタンスの間に 保持される。(
property
?ENTITY ?ATTR) とは、?ENTITY が
Attribute
?ATTR を有する、という 意味である。")
japanese_format.kif 315-317
(
domain
property
1
Entity
)
Merge.kif 1718-1718
The number 1 argument of
property
is an
instance
of
entity
(
domain
property
2
Attribute
)
Merge.kif 1719-1719
The number 2 argument of
property
is an
instance
of
attribute
(
instance
property
BinaryPredicate
)
Merge.kif 1717-1717
property
is an
instance
of
binary predicate
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 1743-1743
abstraction level
is a
subrelation
of
property
(
subrelation
attribute
property
)
Merge.kif 1729-1729
attribute
is a
subrelation
of
property
(
subrelation
complexity
property
)
QoSontology.kif 1632-1632
complexity
is a
subrelation
of
property
(
subrelation
designPattern
property
)
QoSontology.kif 1482-1482
design pattern
is a
subrelation
of
property
(
subrelation
environmentAttributes
property
)
QoSontology.kif 460-460
environment attributes
is a
subrelation
of
property
(
subrelation
formOfAdaptation
property
)
QoSontology.kif 1584-1584
form of adaptation
is a
subrelation
of
property
(
subrelation
manner
property
)
Merge.kif 1741-1741
manner
is a
subrelation
of
property
(
subrelation
modalAttribute
property
)
Merge.kif 17476-17476
modal attribute
is a
subrelation
of
property
(
subrelation
shape
property
)
Merge.kif 7670-7670
shape
is a
subrelation
of
property
(
subrelation
status
property
)
QoSontology.kif 905-905
status
is a
subrelation
of
property
(
subrelation
strictness
property
)
QoSontology.kif 1673-1673
strictness
is a
subrelation
of
property
(
subrelation
systemBehavior
property
)
QoSontology.kif 1451-1451
system behavior
is a
subrelation
of
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 3365-3375
An entity
is an
instance
of
region
and
the entity
the
attribute
standard ambient temperature and pressure
holds
during
a time position
if and only if 298.15
kelvin degree
(s) is an
air
temperature of
the entity
and 29.530
inch mercury
(s) is a
barometric
pressure of
the entity
holds
during
the time position
(=>
(
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 469-477
If @ROW is the
opposite
of and
equal
an attribute
and
another entity
element
of (@ROW) and
equal
another attribute
and
a third entity
element
of (@ROW) and
equal
a positive integer
and
another positive integer
and
a fourth entity
the
attribute
the attribute
,
then
the fourth entity
does not have the
attribute
the other attribute
(=>
(
and
(
instance
?ATTR
SpeedScaleAttribute
)
(
property
?X ?ATTR))
(
instance
?X
Motion
))
Weather.kif 2741-2745
If
an attribute
is an
instance
of
speed scale attribute
and
an entity
the
attribute
the attribute
,
then
the entity
is an
instance
of
motion
(=>
(
and
(
instance
?BN
BeaufortNumberAttribute
)
(
property
?X ?BN))
(
instance
?X
Wind
))
Weather.kif 331-335
If
an attribute
is an
instance
of
Beaufort number attribute
and
an entity
the
attribute
the attribute
,
then
the entity
is an
instance
of
wind
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
If
a content bearing physical
is an
instance
of
contract document
and
the content bearing physical
contain
s information
a proposition
and
the proposition
the
attribute
contract
,
then
the proposition
the
attribute
law
(=>
(
and
(
instance
?EF
EFScaleAttribute
)
(
property
?T ?EF))
(
instance
?T
Tornado
))
Weather.kif 2775-2779
If
an attribute
is an
instance
of
enhanced fuijita scale attribute
and
an entity
the
attribute
the attribute
,
then
the entity
is an
instance
of
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 2771-2783
If
a process
is an
instance
of
exercise an option
and
an agreement
is a
patient
of
the process
and
the agreement
the
attribute
call option
and
the process
exists
during
a time position
and
a financial instrument
is an
underlier
of
the agreement
,
then there exists
another process
such that
the other process
is an
instance
of
buying
and
the financial instrument
is a
patient
of
the other process
and
the other process
exists
during
the time position
and the
measure
of
the financial instrument
is 100
share unit
(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 2785-2797
If
a process
is an
instance
of
exercise an option
and
an agreement
is a
patient
of
the process
and
the agreement
the
attribute
put option
and
the process
exists
during
a time position
and
a financial instrument
is an
underlier
of
the agreement
,
then there exists
another process
such that
the other process
is an
instance
of
selling
and
the financial instrument
is a
patient
of
the other process
and
the other process
exists
during
the time position
and the
measure
of
the financial instrument
is 100
share unit
(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 3128-3142
If
a process
is an
instance
of
hurricane
and
an entity
is an
instance
of
SSHWS5
and
the process
is
located
at
an object
and
a cognitive agent
believe
s
the process
the
attribute
the entity
,
then there exists
a real number
such that
the real number
is
greater
than 157.0 and
the cognitive agent
believe
s
equal
the real number
miles per hour
(s) and
Mean1MinuteWindSpeedFn
for the
time
of existence of
the process
in region
the object
(=>
(
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 3050-3069
If
a process
is an
instance
of
hurricane
and
a speed scale attribute
is an
instance
of
Saffir Simpson Hurrican wind scale
and
the process
is
located
at
an object
and
a cognitive agent
believe
s
the process
the
attribute
the speed scale attribute
and
a real number
an unit of measure
(s) and
another real number
the unit of measure
(s) are the min and max speed of
the speed scale attribute
and
the unit of measure
is an
instance
of
unit of measure
,
then there exists
a third real number
such that
the third real number
is
greater
than or equal to
the real number
and
the third real number
is
less
than or equal to
the other real number
and
the cognitive agent
believe
s
equal
the third real number
the unit of measure
(s) and
Mean1MinuteWindSpeedFn
for the
time
of existence of
the process
in region
the object
(=>
(
and
(
instance
?O
OccupationalRole
)
(
property
?X ?O))
(
instance
?X
CognitiveAgent
))
Mid-level-ontology.kif 23889-23893
If
an attribute
is an
instance
of
occupational role
and
an entity
the
attribute
the attribute
,
then
the entity
is an
instance
of
cognitive agent
(=>
(
and
(
instance
?ORG
OrganicObject
)
(
instance
?ATTR
DevelopmentalAttribute
)
(
holdsDuring
?TIME
(
property
?ORG ?ATTR)))
(
holdsDuring
?TIME
(
developmentalForm
?ORG ?ATTR)))
Mid-level-ontology.kif 234-239
If
an entity
is an
instance
of
organic object
and
another entity
is an
instance
of
developmental attribute
and
the entity
the
attribute
the other entity
holds
during
a time position
,
then the
developmental
form
of
the entity
is
the other entity
holds
during
the time position
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1274-1278
If
an entity
is an
instance
of
computer path
and
the entity
the
attribute
continuous path
,
then
the entity
does not have the
attribute
quasicontinuous path
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
TransientPath
)))
QoSontology.kif 1268-1272
If
an entity
is an
instance
of
computer path
and
the entity
the
attribute
continuous path
,
then
the entity
does not have the
attribute
transient path
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
DeterministicDataStream
)))
QoSontology.kif 1246-1250
If
an entity
is an
instance
of
computer path
and
the entity
the
attribute
dynamic data stream
,
then
the entity
does not have the
attribute
deterministic data stream
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
StochasticDataStream
)))
QoSontology.kif 1240-1244
If
an entity
is an
instance
of
computer path
and
the entity
the
attribute
dynamic data stream
,
then
the entity
does not have the
attribute
stochastic data stream
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
BroadGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThan
?WIDTH 1.44))
Transportation.kif 403-409
If
a railway
is an
instance
of
railway
and
the railway
the
attribute
broad gauge
and
a real number
meter
(s) is a
track
width of
the railway
,
then
the real number
is
greater
than 1.44
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
NarrowGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 453-458
If
a railway
is an
instance
of
railway
and
the railway
the
attribute
narrow gauge
and
a real number
meter
(s) is a
track
width of
the railway
,
then
the real number
is
less
than or equal to 1.435
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 427-433
If
a railway
is an
instance
of
railway
and
the railway
the
attribute
standard gauge
and
a real number
meter
(s) is a
track
width of
the railway
,
then
the real number
is
greater
than or equal to 1.435
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.44))
Transportation.kif 435-441
If
a railway
is an
instance
of
railway
and
the railway
the
attribute
standard gauge
and
a real number
meter
(s) is a
track
width of
the railway
,
then
the real number
is
less
than or equal to 1.44
(=>
(
and
(
instance
?SS
SSHWSAttribute
)
(
property
?H ?SS))
(
instance
?H
Hurricane
))
Weather.kif 3044-3048
If
an attribute
is an
instance
of
Saffir Simpson Hurrican wind scale
and
an entity
the
attribute
the attribute
,
then
the entity
is an
instance
of
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 2876-2890
If
a process
is an
instance
of
tornado
and
an entity
is an
instance
of
EF5
and
the process
is
located
at
an object
and
a cognitive agent
believe
s
the process
the
attribute
the entity
,
then there exists
a real number
such that
the real number
is
greater
than 200.0 and
the cognitive agent
believe
s
equal
the real number
miles per hour
(s) and
ThreeSecondSpeedGustFn
ending at the
time
of existence of
the process
in
the object
(=>
(
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 2781-2799
If
a process
is an
instance
of
tornado
and
a speed scale attribute
is an
instance
of
enhanced fuijita scale attribute
and
the process
is
located
at
an object
and
a cognitive agent
believe
s
the process
the
attribute
the speed scale attribute
and
a real number
miles per hour
(s) and
another real number
miles per hour
(s) are the min and max speed of
the speed scale attribute
,
then there exists
a third real number
such that
the third real number
is
greater
than or equal to
the real number
and
the third real number
is
less
than or equal to
the other real number
and
the cognitive agent
believe
s
equal
the third real number
miles per hour
(s) and
ThreeSecondSpeedGustFn
ending at the
time
of existence of
the process
in
the object
(=>
(
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
If
a process
is an
instance
of
wind
and
an entity
is an
instance
of
Beaufort number 12
and
the process
is
located
at
an object
and
a cognitive agent
believe
s
the process
the
attribute
the entity
,
then there exists
a real number
such that
the real number
is
greater
than 73.0 and
the cognitive agent
believe
s
the real number
miles per hour
(s) is a
surface
wind speed of
the object
(=>
(
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
If
a process
is an
instance
of
wind
and
a speed scale attribute
is an
instance
of
Beaufort number attribute
and
the process
is
located
at
an object
and
a cognitive agent
believe
s
the process
the
attribute
the speed scale attribute
and
a real number
an unit of measure
(s) and
another real number
the unit of measure
(s) are the min and max speed of
the speed scale attribute
and
the unit of measure
is an
instance
of
unit of measure
,
then there exists
a third real number
such that
the third real number
is
greater
than or equal to
the real number
and
the third real number
is
less
than or equal to
the other real number
and
the cognitive agent
believe
s
the third real number
the unit of measure
(s) is a
surface
wind speed of
the object
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 3277-3283
An agreement
employ
s
another agreement
if and only if there exists
a cognitive agent
such that
the cognitive agent
the
attribute
employment
and
the agreement
is a
party
to agreement of
the cognitive agent
and
the other agreement
is a
party
to agreement of
the cognitive agent
(<=>
(
exists
(?Process)
(
programRunning
?Process ?Program))
(
property
?Program
Executable
))
QoSontology.kif 1098-1101
There exists
a computer process
such that
a computer program
is a
program
running of
the computer process
if and only if
the computer program
the
attribute
executable
(<=>
(
instance
?RR
BroadGaugeRailway
)
(
property
?RR
BroadGauge
))
Transportation.kif 411-413
An entity
is an
instance
of
broad gauge railway
if and only if
the entity
the
attribute
broad gauge
(<=>
(
instance
?RR
DualGaugeRailway
)
(
property
?RR
DualGauge
))
Transportation.kif 469-471
An entity
is an
instance
of
dual gauge railway
if and only if
the entity
the
attribute
dual gauge railway
(<=>
(
instance
?RR
NarrowGaugeRailway
)
(
property
?RR
NarrowGauge
))
Transportation.kif 460-462
An entity
is an
instance
of
narrow gauge railway
if and only if
the entity
the
attribute
narrow gauge
(<=>
(
instance
?RR
StandardGaugeRailway
)
(
property
?RR
StandardGauge
))
Transportation.kif 443-445
An entity
is an
instance
of
standard gauge railway
if and only if
the entity
the
attribute
standard gauge
(=>
(
agreementExpirationDate
?AGREEMENT ?ENDDATE)
(
holdsDuring
(
FutureFn
?ENDDATE)
(
not
(
property
?AGREEMENT
ActiveAgreement
))))
Mid-level-ontology.kif 15426-15429
If
an agreement
has
expiration
a time point
,
then
the agreement
does not have the
attribute
active agreement
holds
during
after
the time point
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 15387-15392
If
a time interval
is an
agreement
period of
an agreement
and
a time point
is an
agreement
effective date of
the agreement
,
then
the agreement
the
attribute
active agreement
holds
during
a
time
that starts at
the time point
and lasts for
the time interval
(=>
(
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 17507-17520
If
an attribute
is an
attribute
of
an object
and
the attribute
is an
instance
of
subjective assessment attribute
,
then there exist
a time position
,
a process
and
an agent
such that
the process
is an
instance
of
judging
and
the agent
is an
agent
of
the process
and
the object
is a
patient
of
the process
and
the attribute
is an
attribute
of
the object
is a
result
of
the process
and
the agent
believe
s
the object
the
attribute
the attribute
holds
during
the time position
(=>
(
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 469-477
If @ROW is the
opposite
of and
equal
an attribute
and
another entity
element
of (@ROW) and
equal
another attribute
and
a third entity
element
of (@ROW) and
equal
a positive integer
and
another positive integer
and
a fourth entity
the
attribute
the attribute
,
then
the fourth entity
does not have the
attribute
the other attribute
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
exists
(?Debt)
(
and
(
property
?Debt
Liability
)
(
partyToAgreement
?Debt ?Agent)
(
partyToAgreement
?Debt ?Bank))))
FinancialOntology.kif 1178-1187
If
a financial account
is an
instance
of
liability account
and
an agreement
holds
account
the financial account
and
the financial account
is
held
by
another agreement
,
then there exists
a cognitive agent
such that
the cognitive agent
the
attribute
liability
and
the agreement
is a
party
to agreement of
the cognitive agent
and
the other agreement
is a
party
to agreement of
the cognitive agent
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
If
a content bearing physical
is an
instance
of
contract document
and
the content bearing physical
contain
s information
a proposition
and
the proposition
the
attribute
contract
,
then
the proposition
the
attribute
law
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1274-1278
If
an entity
is an
instance
of
computer path
and
the entity
the
attribute
continuous path
,
then
the entity
does not have the
attribute
quasicontinuous path
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
TransientPath
)))
QoSontology.kif 1268-1272
If
an entity
is an
instance
of
computer path
and
the entity
the
attribute
continuous path
,
then
the entity
does not have the
attribute
transient path
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
DeterministicDataStream
)))
QoSontology.kif 1246-1250
If
an entity
is an
instance
of
computer path
and
the entity
the
attribute
dynamic data stream
,
then
the entity
does not have the
attribute
deterministic data stream
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
StochasticDataStream
)))
QoSontology.kif 1240-1244
If
an entity
is an
instance
of
computer path
and
the entity
the
attribute
dynamic data stream
,
then
the entity
does not have the
attribute
stochastic data stream
(=>
(
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
If
an entity
_COLL is an
instance
of
collection
and
another entity
_COLL is an
instance
of
collection
and
an experimenting
is an
instance
of
experimenting
and
a cognitive agent
is an
instance
of
cognitive agent
and
the cognitive agent
is an
agent
of
the experimenting
and
the entity
_COLL is a
sample
of
the other entity
_COLL for
the experimenting
,
then for all
an attribute
if
the attribute
is an
instance
of
attribute
and
the entity
_COLL the
attribute
the attribute
and
the cognitive agent
is
interested
in
the attribute
and
equal
the attribute
and
representative sample
,
then
the other entity
_COLL the
attribute
the attribute
(=>
(
and
(
property
?Option
StockOption
)
(
underlier
?Option ?Stock))
(
property
?Stock
CommonStock
))
FinancialOntology.kif 2729-2733
If
an agreement
the
attribute
stock option
and
a financial instrument
is an
underlier
of
the agreement
,
then
the financial instrument
the
attribute
common stock
(=>
(
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 2815-2828
If
a real number
an unit of measure
(s) and
another real number
the unit of measure
(s) are the min and max speed of
a speed scale attribute
and
the unit of measure
is an
instance
of
unit of measure
,
then there exist
a physical
and
a third real number
such that
the physical
is an
instance
of
motion
and
the physical
the
attribute
the speed scale attribute
and the
measure
of
the physical
is
the third real number
the unit of measure
(s) and
the third real number
is
greater
than or equal to
the real number
and
the third real number
is
less
than or equal to
the other real number
(=>
(
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 22440-22453
If
a cognitive agent
has a
contract
to
build
a stationary artifact
,
then there exist
an agreement
and
another cognitive agent
such that
the agreement
the
attribute
contract
and
the agreement
is a
party
to agreement of
the other cognitive agent
and
the agreement
is a
party
to agreement of
the cognitive agent
and
the other cognitive agent
obligate
s
the cognitive agent
to perform task of the type there exist
an entity
and
the stationary artifact
2 such that
the entity
is an
instance
of
constructing
and
the cognitive agent
is an
agent
of
the entity
and
the stationary artifact
2 is a
result
of
the entity
and
the stationary artifact
2 is an
instance
of
stationary artifact
(=>
(
dataStreamSlack
?Path ?Number)
(
or
(
property
?Path
ContinuousPath
)
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1323-1327
If
a positive integer
is a
data
stream slack of
a computer path
,
then
the computer path
the
attribute
continuous path
or
the computer path
the
attribute
quasicontinuous path
(=>
(
equal
?ATTR1 ?ATTR2)
(
forall
(?THING)
(<=>
(
property
?THING ?ATTR1)
(
property
?THING ?ATTR2))))
Merge.kif 261-266
If
equal
an attribute
and
another attribute
,
then for all
an entity
the entity
the
attribute
the attribute
if and only if
the entity
the
attribute
the other attribute
(=>
(
equal
?THING1 ?THING2)
(
forall
(?ATTR)
(<=>
(
property
?THING1 ?ATTR)
(
property
?THING2 ?ATTR))))
Merge.kif 254-259
If
equal
an entity
and
another entity
,
then for all
an attribute
the entity
the
attribute
the attribute
if and only if
the other entity
the
attribute
the attribute
(=>
(
instance
?A
Aqiqah
)
(
exists
(?AGENT)
(
and
(
agent
?A ?AGENT)
(
property
?A
Muslim
))))
ArabicCulture.kif 326-331
If
a process
is an
instance
of
aqiqah
,
then there exists
the process
GENT such that
the process
GENT is an
agent
of
the process
and
the process
the
attribute
muslim
(=>
(
instance
?Account
FinancialAccount
)
(
and
(
property
?Account
FinancialContract
)
(
property
?Account
ServiceContract
)))
FinancialOntology.kif 65-69
If
an entity
is an
instance
of
financial account
,
then
the entity
the
attribute
financial contract
and
the entity
the
attribute
service contract
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 32501-32501
Cheetah
the
attribute
Vulnerable species
(
property
Crocodile
LeastConcernSpecies
)
Mid-level-ontology.kif 32477-32477
Crocodile
the
attribute
least concern species
(
property
Ferret
LeastConcernSpecies
)
Mid-level-ontology.kif 32518-32518
Ferret
the
attribute
least concern species
(
property
GuineaPig
LeastConcernSpecies
)
Mid-level-ontology.kif 32536-32536
Guinea pig
the
attribute
least concern species
(
property
Hamster
LeastConcernSpecies
)
Mid-level-ontology.kif 32548-32548
Hamster
the
attribute
least concern species
(
property
Lemur
CriticallyEndangeredSpecies
)
Mid-level-ontology.kif 32407-32407
Lemur
the
attribute
critically endangered species
(
property
Lion
VulnerableSpecies
)
Mid-level-ontology.kif 32292-32292
Lion
the
attribute
Vulnerable species
(
property
Octopus
LeastConcernSpecies
)
Mid-level-ontology.kif 32437-32437
Octopus
the
attribute
least concern species
(
property
Panda
VulnerableSpecies
)
Mid-level-ontology.kif 32424-32424
Panda
the
attribute
Vulnerable species
(
property
Parrot
LeastConcernSpecies
)
Mid-level-ontology.kif 32390-32390
Parrot
the
attribute
least concern species
(
property
Reindeer
VulnerableSpecies
)
Mid-level-ontology.kif 32459-32459
Reindeer
the
attribute
Vulnerable species
(
property
Rhinoceros
EndangeredSpecies
)
Mid-level-ontology.kif 32367-32367
Rhinoceros
the
attribute
endangered species
(
property
Tiger
EndangeredSpecies
)
Mid-level-ontology.kif 32347-32347
Tiger
the
attribute
endangered species
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