Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 1659-1661
(
domain
property
1
Entity
)
Merge.kif 1656-1656
(
domain
property
2
Attribute
)
Merge.kif 1657-1657
(
instance
property
BinaryPredicate
)
Merge.kif 1655-1655
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
(
subrelation
abstractionLevel
property
)
QoSontology.kif 1622-1622
(
subrelation
attribute
property
)
Merge.kif 1667-1667
(
subrelation
complexity
property
)
QoSontology.kif 1519-1519
(
subrelation
designPattern
property
)
QoSontology.kif 1378-1378
(
subrelation
environmentAttributes
property
)
QoSontology.kif 457-457
(
subrelation
formOfAdaptation
property
)
QoSontology.kif 1475-1475
(
subrelation
manner
property
)
Merge.kif 1679-1679
(
subrelation
modalAttribute
property
)
Merge.kif 17048-17048
(
subrelation
shape
property
)
Mid-level-ontology.kif 25059-25059
(
subrelation
status
property
)
QoSontology.kif 794-794
(
subrelation
strictness
property
)
QoSontology.kif 1558-1558
(
subrelation
systemBehavior
property
)
QoSontology.kif 1347-1347
(
subrelation
taskRelation
property
)
QoSontology.kif 1447-1447
(
subrelation
truth
property
)
Merge.kif 16735-16735
(
termFormat
ChineseLanguage
property
"属性")
domainEnglishFormat.kif 47787-47787
(
termFormat
ChineseLanguage
property
"特性")
chinese_format.kif 178-178
(
termFormat
ChineseTraditionalLanguage
property
"屬性")
domainEnglishFormat.kif 47786-47786
(
termFormat
EnglishLanguage
property
"property")
domainEnglishFormat.kif 47785-47785
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 2679-2689
(=>
(
and
(
instance
?ATTR
SpeedScaleAttribute
)
(
property
?X ?ATTR))
(
instance
?X
Motion
))
Weather.kif 2055-2059
(=>
(
and
(
instance
?BN
BeaufortNumberAttribute
)
(
property
?X ?BN))
(
instance
?X
Wind
))
Weather.kif 343-347
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
(=>
(
and
(
instance
?EF
EFScaleAttribute
)
(
property
?T ?EF))
(
instance
?T
Tornado
))
Weather.kif 2089-2093
(=>
(
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 2761-2773
(=>
(
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 2775-2787
(=>
(
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 2442-2456
(=>
(
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 2364-2383
(=>
(
and
(
instance
?O
OccupationalRole
)
(
property
?X ?O))
(
instance
?X
CognitiveAgent
))
Mid-level-ontology.kif 21813-21817
(=>
(
and
(
instance
?ORG
OrganicObject
)
(
instance
?ATTR
DevelopmentalAttribute
)
(
holdsDuring
?TIME
(
property
?ORG ?ATTR)))
(
holdsDuring
?TIME
(
developmentalForm
?ORG ?ATTR)))
Mid-level-ontology.kif 236-241
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1170-1174
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
TransientPath
)))
QoSontology.kif 1164-1168
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
DeterministicDataStream
)))
QoSontology.kif 1142-1146
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
StochasticDataStream
)))
QoSontology.kif 1136-1140
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
BroadGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThan
?WIDTH 1.44))
Transportation.kif 403-409
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
NarrowGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 453-458
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 427-433
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.44))
Transportation.kif 435-441
(=>
(
and
(
instance
?SS
SSHWSAttribute
)
(
property
?H ?SS))
(
instance
?H
Hurricane
))
Weather.kif 2358-2362
(=>
(
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 2190-2204
(=>
(
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 2095-2113
(=>
(
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
(=>
(
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
(=>
(
and
(
instance
?Y
NitricOxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 6904-6910
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 3267-3273
(<=>
(
exists
(?Process)
(
programRunning
?Process ?Program))
(
property
?Program
Executable
))
QoSontology.kif 987-990
(<=>
(
instance
?RR
BroadGaugeRailway
)
(
property
?RR
BroadGauge
))
Transportation.kif 411-413
(<=>
(
instance
?RR
DualGaugeRailway
)
(
property
?RR
DualGauge
))
Transportation.kif 469-471
(<=>
(
instance
?RR
NarrowGaugeRailway
)
(
property
?RR
NarrowGauge
))
Transportation.kif 460-462
(<=>
(
instance
?RR
StandardGaugeRailway
)
(
property
?RR
StandardGauge
))
Transportation.kif 443-445
(=>
(
agreementExpirationDate
?AGREEMENT ?ENDDATE)
(
holdsDuring
(
FutureFn
?ENDDATE)
(
not
(
property
?AGREEMENT
ActiveAgreement
))))
Mid-level-ontology.kif 13574-13577
(=>
(
and
(
agreementPeriod
?AGREEMENT ?DURATION)
(
agreementEffectiveDate
?AGREEMENT ?STARTDATE))
(
holdsDuring
(
TimePeriodFn
?STARTDATE ?DURATION)
(
property
?AGREEMENT
ActiveAgreement
)))
Mid-level-ontology.kif 13535-13540
(=>
(
and
(
attribute
?OBJ ?ATR)
(
instance
?ATR
SubjectiveAssessmentAttribute
))
(
exists
(?TIME ?JUDGE ?AGENT)
(
and
(
instance
?JUDGE
Judging
)
(
agent
?JUDGE ?AGENT)
(
patient
?JUDGE ?OBJ)
(
patient
?JUDGE
(
attribute
?OBJ ?ATR))
(
holdsDuring
?TIME
(
believes
?AGENT
(
property
?OBJ ?ATR))))))
Merge.kif 17079-17092
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
accountHolder
?Account ?Agent)
(
accountAt
?Account ?Bank))
(
exists
(?Debt)
(
and
(
property
?Debt
Liability
)
(
partyToAgreement
?Debt ?Agent)
(
partyToAgreement
?Debt ?Bank))))
FinancialOntology.kif 1161-1170
(=>
(
and
(
instance
?DOC
ContractDocument
)
(
containsInformation
?DOC ?PROP)
(
property
?PROP
Contract
))
(
property
?PROP
Law
))
Media.kif 995-1000
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1170-1174
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
ContinuousPath
))
(
not
(
property
?Path
TransientPath
)))
QoSontology.kif 1164-1168
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
DeterministicDataStream
)))
QoSontology.kif 1142-1146
(=>
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path
DynamicDataStream
))
(
not
(
property
?Path
StochasticDataStream
)))
QoSontology.kif 1136-1140
(=>
(
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 629-645
(=>
(
and
(
property
?Option
StockOption
)
(
underlier
?Option ?Stock))
(
property
?Stock
CommonStock
))
FinancialOntology.kif 2720-2724
(=>
(
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 2129-2142
(=>
(
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 20227-20240
(=>
(
contraryAttribute
@ROW)
(
forall
(?ATTR1 ?ATTR2)
(=>
(
and
(
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-486
(=>
(
dataStreamSlack
?Path ?Number)
(
or
(
property
?Path
ContinuousPath
)
(
property
?Path
QuasicontinuousPath
)))
QoSontology.kif 1219-1223
(=>
(
equal
?ATTR1 ?ATTR2)
(
forall
(?THING)
(<=>
(
property
?THING ?ATTR1)
(
property
?THING ?ATTR2))))
Merge.kif 267-272
(=>
(
equal
?THING1 ?THING2)
(
forall
(?ATTR)
(<=>
(
property
?THING1 ?ATTR)
(
property
?THING2 ?ATTR))))
Merge.kif 260-265
(=>
(
instance
?Account
FinancialAccount
)
(
and
(
property
?Account
FinancialContract
)
(
property
?Account
ServiceContract
)))
FinancialOntology.kif 63-67
(=>
(
instance
?Attribute
ComputerPathAttribute
)
(
exists
(?Path)
(
and
(
instance
?Path
ComputerPath
)
(
property
?Path ?Attribute))))
QoSontology.kif 1102-1107
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 30071-30071
(
property
Crocodile
LeastConcernSpecies
)
Mid-level-ontology.kif 30047-30047
(
property
Ferret
LeastConcernSpecies
)
Mid-level-ontology.kif 30088-30088
(
property
GuineaPig
LeastConcernSpecies
)
Mid-level-ontology.kif 30106-30106
(
property
Hamster
LeastConcernSpecies
)
Mid-level-ontology.kif 30118-30118
(
property
Lemur
CriticallyEndangeredSpecies
)
Mid-level-ontology.kif 29977-29977
(
property
Lion
VulnerableSpecies
)
Mid-level-ontology.kif 29878-29878
(
property
Octopus
LeastConcernSpecies
)
Mid-level-ontology.kif 30007-30007
(
property
Panda
VulnerableSpecies
)
Mid-level-ontology.kif 29994-29994
(
property
Parrot
LeastConcernSpecies
)
Mid-level-ontology.kif 29960-29960
(
property
Reindeer
VulnerableSpecies
)
Mid-level-ontology.kif 30029-30029
(
property
Rhinoceros
EndangeredSpecies
)
Mid-level-ontology.kif 29937-29937
(
property
Tiger
EndangeredSpecies
)
Mid-level-ontology.kif 29917-29917
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