Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - property
property

appearance as argument number 1
-------------------------


(documentation property ChineseLanguage "这个 PredicateEntity 的实例和 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 1688-1690
(domain property 1 Entity) Merge.kif 1685-1685
(domain property 2 Attribute) Merge.kif 1686-1686
(instance property BinaryPredicate) Merge.kif 1684-1684

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 1617-1617
(subrelation attribute property) Merge.kif 1696-1696
(subrelation complexity property) QoSontology.kif 1514-1514
(subrelation designPattern property) QoSontology.kif 1373-1373
(subrelation environmentAttributes property) QoSontology.kif 459-459
(subrelation formOfAdaptation property) QoSontology.kif 1470-1470
(subrelation manner property) Merge.kif 1708-1708
(subrelation modalAttribute property) Merge.kif 17152-17152
(subrelation shape property) Mid-level-ontology.kif 25484-25484
(subrelation status property) QoSontology.kif 796-796
(subrelation strictness property) QoSontology.kif 1553-1553
(subrelation systemBehavior property) QoSontology.kif 1342-1342
(subrelation taskRelation property) QoSontology.kif 1442-1442
(subrelation truth property) Merge.kif 16839-16839
(termFormat ChineseLanguage property "属性") domainEnglishFormat.kif 47790-47790
(termFormat ChineseLanguage property "特性") chinese_format.kif 178-178
(termFormat ChineseTraditionalLanguage property "屬性") domainEnglishFormat.kif 47789-47789
(termFormat EnglishLanguage property "property") domainEnglishFormat.kif 47788-47788

antecedent
-------------------------


(<=>
    (and
        (instance ?X Region)
        (holdsDuring ?T
            (property ?X StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (and
            (airTemperature ?X
                (MeasureFn 298.15 KelvinDegree))
            (barometricPressure ?X
                (MeasureFn 29.530 InchMercury)))))
Weather.kif 2680-2690
(=>
    (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
(=>
    (and
        (instance ?ATTR SpeedScaleAttribute)
        (property ?X ?ATTR))
    (instance ?X Motion))
Weather.kif 2056-2060
(=>
    (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 2090-2094
(=>
    (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 2767-2779
(=>
    (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 2781-2793
(=>
    (and
        (instance ?H Hurricane)
        (instance ?SS SSHWS5)
        (eventLocated ?H ?AREA)
        (believes ?A
            (property ?H ?SS)))
    (exists (?WIND)
        (and
            (greaterThan ?WIND 157.0)
            (believes ?A
                (equal
                    (MeasureFn ?WIND MilesPerHour)
                    (Mean1MinuteWindSpeedFn ?AREA
                        (WhenFn ?H)))))))
Weather.kif 2443-2457
(=>
    (and
        (instance ?H Hurricane)
        (instance ?SS SSHWSAttribute)
        (eventLocated ?H ?AREA)
        (believes ?A
            (property ?H ?SS))
        (speedScaleAttributeMinMax ?SS
            (MeasureFn ?MIN ?U)
            (MeasureFn ?MAX ?U))
        (instance ?U UnitOfMeasure))
    (exists (?WIND)
        (and
            (greaterThanOrEqualTo ?WIND ?MIN)
            (lessThanOrEqualTo ?WIND ?MAX)
            (believes ?A
                (equal
                    (MeasureFn ?WIND ?U)
                    (Mean1MinuteWindSpeedFn ?AREA
                        (WhenFn ?H)))))))
Weather.kif 2365-2384
(=>
    (and
        (instance ?O OccupationalRole)
        (property ?X ?O))
    (instance ?X CognitiveAgent))
Mid-level-ontology.kif 22197-22201
(=>
    (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 1165-1169
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path ContinuousPath))
    (not
        (property ?Path TransientPath)))
QoSontology.kif 1159-1163
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path DynamicDataStream))
    (not
        (property ?Path DeterministicDataStream)))
QoSontology.kif 1137-1141
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path DynamicDataStream))
    (not
        (property ?Path StochasticDataStream)))
QoSontology.kif 1131-1135
(=>
    (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 2359-2363
(=>
    (and
        (instance ?T Tornado)
        (instance ?EF EF5)
        (eventLocated ?T ?AREA)
        (believes ?A
            (property ?T ?EF)))
    (exists (?GUST)
        (and
            (greaterThan ?GUST 200.0)
            (believes ?A
                (equal
                    (MeasureFn ?GUST MilesPerHour)
                    (ThreeSecondGustSpeedFn ?AREA
                        (WhenFn ?T)))))))
Weather.kif 2191-2205
(=>
    (and
        (instance ?T Tornado)
        (instance ?EF EFScaleAttribute)
        (eventLocated ?T ?AREA)
        (believes ?A
            (property ?T ?EF))
        (speedScaleAttributeMinMax ?EF
            (MeasureFn ?MIN MilesPerHour)
            (MeasureFn ?MAX MilesPerHour)))
    (exists (?GUST)
        (and
            (greaterThanOrEqualTo ?GUST ?MIN)
            (lessThanOrEqualTo ?GUST ?MAX)
            (believes ?A
                (equal
                    (MeasureFn ?GUST MilesPerHour)
                    (ThreeSecondGustSpeedFn ?AREA
                        (WhenFn ?T)))))))
Weather.kif 2096-2114
(=>
    (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

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 3273-3279
(<=>
    (exists (?Process)
        (programRunning ?Process ?Program))
    (property ?Program Executable))
QoSontology.kif 989-992
(<=>
    (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 13902-13905
(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))
Mid-level-ontology.kif 13863-13868
(=>
    (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 17183-17196
(=>
    (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
(=>
    (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
(=>
    (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 1165-1169
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path ContinuousPath))
    (not
        (property ?Path TransientPath)))
QoSontology.kif 1159-1163
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path DynamicDataStream))
    (not
        (property ?Path DeterministicDataStream)))
QoSontology.kif 1137-1141
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path DynamicDataStream))
    (not
        (property ?Path StochasticDataStream)))
QoSontology.kif 1131-1135
(=>
    (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 2726-2730
(=>
    (and
        (speedScaleAttributeMinMax ?ATTR
            (MeasureFn ?MIN ?U)
            (MeasureFn ?MAX ?U))
        (instance ?U UnitOfMeasure))
    (exists (?X ?SPEED)
        (and
            (instance ?X Motion)
            (property ?X ?ATTR)
            (measure ?X
                (MeasureFn ?SPEED ?U))
            (greaterThanOrEqualTo ?SPEED ?MIN)
            (lessThanOrEqualTo ?SPEED ?MAX))))
Weather.kif 2130-2143
(=>
    (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 20605-20618
(=>
    (dataStreamSlack ?Path ?Number)
    (or
        (property ?Path ContinuousPath)
        (property ?Path QuasicontinuousPath)))
QoSontology.kif 1214-1218
(=>
    (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 1097-1102

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 30483-30483
(property Crocodile LeastConcernSpecies) Mid-level-ontology.kif 30459-30459
(property Ferret LeastConcernSpecies) Mid-level-ontology.kif 30500-30500
(property GuineaPig LeastConcernSpecies) Mid-level-ontology.kif 30518-30518
(property Hamster LeastConcernSpecies) Mid-level-ontology.kif 30530-30530
(property Lemur CriticallyEndangeredSpecies) Mid-level-ontology.kif 30389-30389
(property Lion VulnerableSpecies) Mid-level-ontology.kif 30290-30290
(property Octopus LeastConcernSpecies) Mid-level-ontology.kif 30419-30419
(property Panda VulnerableSpecies) Mid-level-ontology.kif 30406-30406
(property Parrot LeastConcernSpecies) Mid-level-ontology.kif 30372-30372
(property Reindeer VulnerableSpecies) Mid-level-ontology.kif 30441-30441
(property Rhinoceros EndangeredSpecies) Mid-level-ontology.kif 30349-30349
(property Tiger EndangeredSpecies) Mid-level-ontology.kif 30329-30329


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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