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
Die Zahl 1 Argument von
eigenschaft
ist ein
fall
von
Entity
%n{nicht}
(
domain
property
2
Attribute
)
Merge.kif 1709-1709
Die Zahl 2 Argument von
eigenschaft
ist ein
fall
von
Attribute
%n{nicht}
(
instance
property
BinaryPredicate
)
Merge.kif 1707-1707
eigenschaft
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
ist eine
teilrelation
von
eigenschaft
(
subrelation
attribute
property
)
Merge.kif 1719-1719
attribut
ist eine
teilrelation
von
eigenschaft
(
subrelation
complexity
property
)
QoSontology.kif 1514-1514
complexity
ist eine
teilrelation
von
eigenschaft
(
subrelation
designPattern
property
)
QoSontology.kif 1373-1373
designPattern
ist eine
teilrelation
von
eigenschaft
(
subrelation
environmentAttributes
property
)
QoSontology.kif 459-459
environmentAttributes
ist eine
teilrelation
von
eigenschaft
(
subrelation
formOfAdaptation
property
)
QoSontology.kif 1470-1470
formOfAdaptation
ist eine
teilrelation
von
eigenschaft
(
subrelation
manner
property
)
Merge.kif 1731-1731
weise
ist eine
teilrelation
von
eigenschaft
(
subrelation
modalAttribute
property
)
Merge.kif 17372-17372
modalAttribute
ist eine
teilrelation
von
eigenschaft
(
subrelation
shape
property
)
Merge.kif 7620-7620
shape
ist eine
teilrelation
von
eigenschaft
(
subrelation
status
property
)
QoSontology.kif 796-796
status
ist eine
teilrelation
von
eigenschaft
(
subrelation
strictness
property
)
QoSontology.kif 1553-1553
strictness
ist eine
teilrelation
von
eigenschaft
(
subrelation
systemBehavior
property
)
QoSontology.kif 1342-1342
systemBehavior
ist eine
teilrelation
von
eigenschaft
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
Entity
ist ein
fall
von
Region
%n{nicht} und
** Entity
hat ein
attribut
StandardAmbientTemperaturePressure
%n{nicht} haelt
waehrend
TimePosition
%n{nicht} genau dann wenn
airTemperature
** Entity
and 298.15
KelvinDegree
(s) und
barometricPressure
** Entity
and 29.530
InchMercury
(s) haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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
Wenn @ROW wird
entgegengesetzet
%n{nicht} und
Attribute
ist gleich
** entity
mitglied
von (@ROW) %n{nicht} und
** Attribute
ist gleich
** entity
mitglied
von (@ROW) %n{nicht} und
PositiveInteger
ist gleich
** PositiveInteger
nicht und
** Entity
hat ein
attribut
** Attribute
%n{nicht},
dann
** ** Entity
hat ein
attribut
** ** Attribute
nicht
(=>
(
and
(
instance
?ATTR
SpeedScaleAttribute
)
(
property
?X ?ATTR))
(
instance
?X
Motion
))
Weather.kif 2039-2043
Wenn
Attribute
ist ein
fall
von
SpeedScaleAttribute
%n{nicht} und
Entity
hat ein
attribut
** Attribute
%n{nicht},
dann
** Entity
ist ein
fall
von
Motion
%n{nicht}
(=>
(
and
(
instance
?BN
BeaufortNumberAttribute
)
(
property
?X ?BN))
(
instance
?X
Wind
))
Weather.kif 331-335
Wenn
Attribute
ist ein
fall
von
BeaufortNumberAttribute
%n{nicht} und
Entity
hat ein
attribut
** Attribute
%n{nicht},
dann
** Entity
ist ein
fall
von
Wind
%n{nicht}
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
Wenn
ContentBearingPhysical
ist ein
fall
von
ContractDocument
%n{nicht} und
** ContentBearingPhysical
enthaelt Informationen ueber
Proposition
und
** Proposition
hat ein
attribut
Contract
%n{nicht},
dann
** Proposition
hat ein
attribut
Law
%n{nicht}
(=>
(
and
(
instance
?EF
EFScaleAttribute
)
(
property
?T ?EF))
(
instance
?T
Tornado
))
Weather.kif 2073-2077
Wenn
Attribute
ist ein
fall
von
EFScaleAttribute
%n{nicht} und
Entity
hat ein
attribut
** Attribute
%n{nicht},
dann
** Entity
ist ein
fall
von
Tornado
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
ExerciseAnOption
%n{nicht} und
Agreement
ist ein
patient
von
** Process
%n{nicht} und
** Agreement
hat ein
attribut
CallOption
%n{nicht} und
** Process
besteht
waehrend
TimePosition
%n{nicht} und
underlier
** Agreement
and
FinancialInstrument
,
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Buying
%n{nicht} und
** FinancialInstrument
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Process
besteht
waehrend
** TimePosition
%n{nicht} und das
mass
von
** FinancialInstrument
ist 100
ShareUnit
(s) %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
ExerciseAnOption
%n{nicht} und
Agreement
ist ein
patient
von
** Process
%n{nicht} und
** Agreement
hat ein
attribut
PutOption
%n{nicht} und
** Process
besteht
waehrend
TimePosition
%n{nicht} und
underlier
** Agreement
and
FinancialInstrument
,
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Selling
%n{nicht} und
** FinancialInstrument
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Process
besteht
waehrend
** TimePosition
%n{nicht} und das
mass
von
** FinancialInstrument
ist 100
ShareUnit
(s) %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Hurricane
%n{nicht} und
Entity
ist ein
fall
von
SSHWS5
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** Entity
%n{nicht},
dann es gibt
RealNumber
um
** RealNumber
ist
groesserAls
157.0 %n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** RealNumber
MilesPerHour
(s) ist gleich
Mean1MinuteWindSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Hurricane
%n{nicht} und
SpeedScaleAttribute
ist ein
fall
von
SSHWSAttribute
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und
speedScaleAttributeMinMax
** SpeedScaleAttribute
,
RealNumber
UnitOfMeasure
(s) and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht},
dann es gibt
** RealNumber
um
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** ** RealNumber
** UnitOfMeasure
(s) ist gleich
Mean1MinuteWindSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?O
OccupationalRole
)
(
property
?X ?O))
(
instance
?X
CognitiveAgent
))
Mid-level-ontology.kif 22300-22304
Wenn
Attribute
ist ein
fall
von
OccupationalRole
%n{nicht} und
Entity
hat ein
attribut
** Attribute
%n{nicht},
dann
** Entity
ist ein
fall
von
CognitiveAgent
%n{nicht}
(=>
(
and
(
instance
?ORG
OrganicObject
)
(
instance
?ATTR
DevelopmentalAttribute
)
(
holdsDuring
?TIME
(
property
?ORG ?ATTR)))
(
holdsDuring
?TIME
(
developmentalForm
?ORG ?ATTR)))
Mid-level-ontology.kif 234-239
Wenn
Entity
ist ein
fall
von
OrganicObject
%n{nicht} und
** Entity
ist ein
fall
von
DevelopmentalAttribute
%n{nicht} und
** Entity
hat ein
attribut
** ** Entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann die
entwicklungsForm
von
** Entity
ist
** ** Entity
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1165-1169
Wenn
Entity
ist ein
fall
von
ComputerPath
%n{nicht} und
** Entity
hat ein
attribut
ContinuousPath
%n{nicht},
dann
** Entity
hat ein
attribut
QuasicontinuousPath
nicht
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
TransientPath
)))
QoSontology.kif 1159-1163
Wenn
Entity
ist ein
fall
von
ComputerPath
%n{nicht} und
** Entity
hat ein
attribut
ContinuousPath
%n{nicht},
dann
** Entity
hat ein
attribut
TransientPath
nicht
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
DeterministicDataStream
)))
QoSontology.kif 1137-1141
Wenn
Entity
ist ein
fall
von
ComputerPath
%n{nicht} und
** Entity
hat ein
attribut
DynamicDataStream
%n{nicht},
dann
** Entity
hat ein
attribut
DeterministicDataStream
nicht
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
StochasticDataStream
)))
QoSontology.kif 1131-1135
Wenn
Entity
ist ein
fall
von
ComputerPath
%n{nicht} und
** Entity
hat ein
attribut
DynamicDataStream
%n{nicht},
dann
** Entity
hat ein
attribut
StochasticDataStream
nicht
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
BroadGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThan
?WIDTH 1.44))
Transportation.kif 403-409
Wenn
Railway
ist ein
fall
von
Railway
%n{nicht} und
** Railway
hat ein
attribut
BroadGauge
%n{nicht} und
trackWidth
** Railway
and
RealNumber
Meter
(s),
dann
** RealNumber
ist
groesserAls
1.44 %n{nicht}
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
NarrowGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 453-458
Wenn
Railway
ist ein
fall
von
Railway
%n{nicht} und
** Railway
hat ein
attribut
NarrowGauge
%n{nicht} und
trackWidth
** Railway
and
RealNumber
Meter
(s),
dann
** RealNumber
ist
kleinerAlsOderGleich
1.435 %n{nicht}
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 427-433
Wenn
Railway
ist ein
fall
von
Railway
%n{nicht} und
** Railway
hat ein
attribut
StandardGauge
%n{nicht} und
trackWidth
** Railway
and
RealNumber
Meter
(s),
dann
** RealNumber
ist
groesserAlsOderGleich
1.435 %n{nicht}
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.44))
Transportation.kif 435-441
Wenn
Railway
ist ein
fall
von
Railway
%n{nicht} und
** Railway
hat ein
attribut
StandardGauge
%n{nicht} und
trackWidth
** Railway
and
RealNumber
Meter
(s),
dann
** RealNumber
ist
kleinerAlsOderGleich
1.44 %n{nicht}
(=>
(
and
(
instance
?SS
SSHWSAttribute
)
(
property
?H ?SS))
(
instance
?H
Hurricane
))
Weather.kif 2342-2346
Wenn
Attribute
ist ein
fall
von
SSHWSAttribute
%n{nicht} und
Entity
hat ein
attribut
** Attribute
%n{nicht},
dann
** Entity
ist ein
fall
von
Hurricane
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Tornado
%n{nicht} und
Entity
ist ein
fall
von
EF5
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** Entity
%n{nicht},
dann es gibt
RealNumber
um
** RealNumber
ist
groesserAls
200.0 %n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** RealNumber
MilesPerHour
(s) ist gleich
ThreeSecondGustSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Tornado
%n{nicht} und
SpeedScaleAttribute
ist ein
fall
von
EFScaleAttribute
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und
speedScaleAttributeMinMax
** SpeedScaleAttribute
,
RealNumber
MilesPerHour
(s) and
** RealNumber
MilesPerHour
(s),
dann es gibt
** RealNumber
um
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** ** RealNumber
MilesPerHour
(s) ist gleich
ThreeSecondGustSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Wind
%n{nicht} und
Entity
ist ein
fall
von
BeaufortNumber12
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** Entity
%n{nicht},
dann es gibt
RealNumber
um
** RealNumber
ist
groesserAls
73.0 %n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
surfaceWindSpeed
** Object
and
** RealNumber
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
Wenn
Process
ist ein
fall
von
Wind
%n{nicht} und
SpeedScaleAttribute
ist ein
fall
von
BeaufortNumberAttribute
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und
speedScaleAttributeMinMax
** SpeedScaleAttribute
,
RealNumber
UnitOfMeasure
(s) and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht},
dann es gibt
** RealNumber
um
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
surfaceWindSpeed
** Object
and
** ** RealNumber
** UnitOfMeasure
(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
beschaeftigt
** Agreement
%n{nicht} genau dann wenn es gibt
CognitiveAgent
um
** CognitiveAgent
hat ein
attribut
Employment
%n{nicht} und
partyToAgreement
** CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** ** Agreement
(<=>
(
exists
(?Process)
(
programRunning
?Process ?Program))
(
property
?Program
Executable
))
QoSontology.kif 989-992
Es gibt
ComputerProcess
um
programRunning
** ComputerProcess
and
ComputerProgram
genau dann wenn
** ComputerProgram
hat ein
attribut
Executable
%n{nicht}
(<=>
(
instance
?RR
BroadGaugeRailway
)
(
property
?RR
BroadGauge
))
Transportation.kif 411-413
Entity
ist ein
fall
von
BroadGaugeRailway
%n{nicht} genau dann wenn
** Entity
hat ein
attribut
BroadGauge
%n{nicht}
(<=>
(
instance
?RR
DualGaugeRailway
)
(
property
?RR
DualGauge
))
Transportation.kif 469-471
Entity
ist ein
fall
von
DualGaugeRailway
%n{nicht} genau dann wenn
** Entity
hat ein
attribut
DualGauge
%n{nicht}
(<=>
(
instance
?RR
NarrowGaugeRailway
)
(
property
?RR
NarrowGauge
))
Transportation.kif 460-462
Entity
ist ein
fall
von
NarrowGaugeRailway
%n{nicht} genau dann wenn
** Entity
hat ein
attribut
NarrowGauge
%n{nicht}
(<=>
(
instance
?RR
StandardGaugeRailway
)
(
property
?RR
StandardGauge
))
Transportation.kif 443-445
Entity
ist ein
fall
von
StandardGaugeRailway
%n{nicht} genau dann wenn
** Entity
hat ein
attribut
StandardGauge
%n{nicht}
(=>
(
agreementExpirationDate
?AGREEMENT ?ENDDATE)
(
holdsDuring
(
FutureFn
?ENDDATE)
(
not
(
property
?AGREEMENT
ActiveAgreement
))))
Mid-level-ontology.kif 14082-14085
Wenn
agreementExpirationDate
Agreement
and
TimePoint
,
dann
** Agreement
hat ein
attribut
ActiveAgreement
nicht haelt
waehrend
nach
** TimePoint
%n{nicht}
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 14043-14048
Wenn
agreementPeriod
Agreement
and
TimeInterval
und
agreementEffectiveDate
** Agreement
and
TimePoint
,
dann
** Agreement
hat ein
attribut
ActiveAgreement
%n{nicht} haelt
waehrend
TimePeriodFn
** TimePoint
and
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
Attribute
ist ein
attribut
von
Object
%n{nicht} und
** Attribute
ist ein
fall
von
SubjectiveAssessmentAttribute
%n{nicht},
dann es gibt
TimePosition
,
Process
, and und
AutonomousAgent
um
** Process
ist ein
fall
von
Judging
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
** Attribute
ist ein
attribut
von
** Object
%n{nicht} ist ein
resultat
von
** Process
%n{nicht} und
** AutonomousAgent
glaubt %n{nicht}, dass
** Object
hat ein
attribut
** Attribute
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
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
Wenn @ROW wird
entgegengesetzet
%n{nicht} und
Attribute
ist gleich
** entity
mitglied
von (@ROW) %n{nicht} und
** Attribute
ist gleich
** entity
mitglied
von (@ROW) %n{nicht} und
PositiveInteger
ist gleich
** PositiveInteger
nicht und
** Entity
hat ein
attribut
** Attribute
%n{nicht},
dann
** ** Entity
hat ein
attribut
** ** Attribute
nicht
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
LiabilityAccount
%n{nicht} und
accountHolder
** FinancialAccount
and
Agreement
und
accountAt
** FinancialAccount
and
** Agreement
,
dann es gibt
CognitiveAgent
um
** CognitiveAgent
hat ein
attribut
Liability
%n{nicht} und
partyToAgreement
** CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** ** Agreement
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
Wenn
ContentBearingPhysical
ist ein
fall
von
ContractDocument
%n{nicht} und
** ContentBearingPhysical
enthaelt Informationen ueber
Proposition
und
** Proposition
hat ein
attribut
Contract
%n{nicht},
dann
** Proposition
hat ein
attribut
Law
%n{nicht}
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1165-1169
Wenn
Entity
ist ein
fall
von
ComputerPath
%n{nicht} und
** Entity
hat ein
attribut
ContinuousPath
%n{nicht},
dann
** Entity
hat ein
attribut
QuasicontinuousPath
nicht
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
TransientPath
)))
QoSontology.kif 1159-1163
Wenn
Entity
ist ein
fall
von
ComputerPath
%n{nicht} und
** Entity
hat ein
attribut
ContinuousPath
%n{nicht},
dann
** Entity
hat ein
attribut
TransientPath
nicht
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
DeterministicDataStream
)))
QoSontology.kif 1137-1141
Wenn
Entity
ist ein
fall
von
ComputerPath
%n{nicht} und
** Entity
hat ein
attribut
DynamicDataStream
%n{nicht},
dann
** Entity
hat ein
attribut
DeterministicDataStream
nicht
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
StochasticDataStream
)))
QoSontology.kif 1131-1135
Wenn
Entity
ist ein
fall
von
ComputerPath
%n{nicht} und
** Entity
hat ein
attribut
DynamicDataStream
%n{nicht},
dann
** Entity
hat ein
attribut
StochasticDataStream
nicht
(=>
(
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
Wenn
entity
_COLL ist ein
fall
von
Collection
%n{nicht} und
** entity
_COLL ist ein
fall
von
Collection
%n{nicht} und
Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
CognitiveAgent
ist ein
fall
von
CognitiveAgent
%n{nicht} und
** Experimenting
ist der
agent
von
** CognitiveAgent
%n{nicht} und
statisticalPopulation
** entity
_COLL,
** ** entity
_COLL and
** Experimenting
,
dann fuer alle
Attribute
wenn
** Attribute
ist ein
fall
von
Attribute
%n{nicht} und
** entity
_COLL hat ein
attribut
** Attribute
%n{nicht} und
** CognitiveAgent
ist an
** Attribute
interessiert
%n{nicht} und
** Attribute
ist gleich
RepresentativeSample
nicht,
dann
** ** entity
_COLL hat ein
attribut
** Attribute
%n{nicht}
(=>
(
and
(
property
?Option
StockOption
)
(
underlier
?Option ?Stock))
(
property
?Stock
CommonStock
))
FinancialOntology.kif 2712-2716
Wenn
Agreement
hat ein
attribut
StockOption
%n{nicht} und
underlier
** Agreement
and
FinancialInstrument
,
dann
** FinancialInstrument
hat ein
attribut
CommonStock
%n{nicht}
(=>
(
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
Wenn
speedScaleAttributeMinMax
SpeedScaleAttribute
,
RealNumber
UnitOfMeasure
(s) and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht},
dann es gibt
Physical
und
** RealNumber
um
** Physical
ist ein
fall
von
Motion
%n{nicht} und
** Physical
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und das
mass
von
** Physical
ist
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht}
(=>
(
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
Wenn
contractor
StationaryArtifact
and
CognitiveAgent
,
dann es gibt
Agreement
und
** CognitiveAgent
um
** Agreement
hat ein
attribut
Contract
%n{nicht} und
partyToAgreement
** ** CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
and
** Agreement
und
** ** CognitiveAgent
zwingt
** CognitiveAgent
, die Aufgabe der Art von es gibt
entity
und
** StationaryArtifact
um
** entity
ist ein
fall
von
Constructing
%n{nicht} und
** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** StationaryArtifact
ist ein
resultat
von
** entity
%n{nicht} und
** StationaryArtifact
ist ein
fall
von
StationaryArtifact
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
dataStreamSlack
?Path ?Number)
(
or
(
property
?Path
ContinuousPath
)
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1214-1218
Wenn
dataStreamSlack
ComputerPath
and
PositiveInteger
,
dann
** ComputerPath
hat ein
attribut
ContinuousPath
%n{nicht} oder
** ComputerPath
hat ein
attribut
QuasicontinuousPath
%n{nicht}
(=>
(
equal
?ATTR1 ?ATTR2)
(
forall
(?THING)
(<=>
(
property
?THING ?ATTR1)
(
property
?THING ?ATTR2))))
Merge.kif 267-272
Wenn
Attribute
ist gleich
** Attribute
%n{nicht},
dann fuer alle
Entity
** Entity
hat ein
attribut
** Attribute
%n{nicht} genau dann wenn
** Entity
hat ein
attribut
** ** Attribute
%n{nicht}
(=>
(
equal
?THING1 ?THING2)
(
forall
(?ATTR)
(<=>
(
property
?THING1 ?ATTR)
(
property
?THING2 ?ATTR))))
Merge.kif 260-265
Wenn
Entity
ist gleich
** Entity
%n{nicht},
dann fuer alle
Attribute
** Entity
hat ein
attribut
** Attribute
%n{nicht} genau dann wenn
** ** Entity
hat ein
attribut
** Attribute
%n{nicht}
(=>
(
instance
?A
Aqiqah
)
(
exists
(?AGENT)
(
and
(
agent
?A ?AGENT)
(
property
?A
Muslim
))))
ArabicCulture.kif 326-331
Wenn
Process
ist ein
fall
von
Aqiqah
%n{nicht},
dann es gibt
** Process
GENT um
** Process
ist der
agent
von
** Process
GENT %n{nicht} und
** Process
hat ein
attribut
Muslim
%n{nicht}
(=>
(
instance
?Account
FinancialAccount
)
(
and
(
property
?Account
FinancialContract
)
(
property
?Account
ServiceContract
)))
FinancialOntology.kif 63-67
Wenn
Entity
ist ein
fall
von
FinancialAccount
%n{nicht},
dann
** Entity
hat ein
attribut
FinancialContract
%n{nicht} und
** Entity
hat ein
attribut
ServiceContract
%n{nicht}
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
hat ein
attribut
VulnerableSpecies
%n{nicht}
(
property
Crocodile
LeastConcernSpecies
)
Mid-level-ontology.kif 30567-30567
Crocodile
hat ein
attribut
LeastConcernSpecies
%n{nicht}
(
property
Ferret
LeastConcernSpecies
)
Mid-level-ontology.kif 30608-30608
Ferret
hat ein
attribut
LeastConcernSpecies
%n{nicht}
(
property
GuineaPig
LeastConcernSpecies
)
Mid-level-ontology.kif 30626-30626
GuineaPig
hat ein
attribut
LeastConcernSpecies
%n{nicht}
(
property
Hamster
LeastConcernSpecies
)
Mid-level-ontology.kif 30638-30638
Hamster
hat ein
attribut
LeastConcernSpecies
%n{nicht}
(
property
Lemur
CriticallyEndangeredSpecies
)
Mid-level-ontology.kif 30497-30497
Lemur
hat ein
attribut
CriticallyEndangeredSpecies
%n{nicht}
(
property
Lion
VulnerableSpecies
)
Mid-level-ontology.kif 30398-30398
Lion
hat ein
attribut
VulnerableSpecies
%n{nicht}
(
property
Octopus
LeastConcernSpecies
)
Mid-level-ontology.kif 30527-30527
Octopus
hat ein
attribut
LeastConcernSpecies
%n{nicht}
(
property
Panda
VulnerableSpecies
)
Mid-level-ontology.kif 30514-30514
Panda
hat ein
attribut
VulnerableSpecies
%n{nicht}
(
property
Parrot
LeastConcernSpecies
)
Mid-level-ontology.kif 30480-30480
Parrot
hat ein
attribut
LeastConcernSpecies
%n{nicht}
(
property
Reindeer
VulnerableSpecies
)
Mid-level-ontology.kif 30549-30549
Reindeer
hat ein
attribut
VulnerableSpecies
%n{nicht}
(
property
Rhinoceros
EndangeredSpecies
)
Mid-level-ontology.kif 30457-30457
Rhinoceros
hat ein
attribut
EndangeredSpecies
%n{nicht}
(
property
Tiger
EndangeredSpecies
)
Mid-level-ontology.kif 30437-30437
Tiger
hat ein
attribut
EndangeredSpecies
%n{nicht}
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