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 1670-1672
(domain property 1 Entity) Merge.kif 1667-1667 特性 的 1 数量 是 实体instance
(domain property 2 Attribute) Merge.kif 1668-1668 特性 的 2 数量 是 属性instance
(instance property BinaryPredicate) Merge.kif 1666-1666 特性二元谓语instance

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
(subrelation attribute property) Merge.kif 1678-1678 属于特性subrelation
(subrelation complexity property) QoSontology.kif 1514-1514 复杂特性subrelation
(subrelation designPattern property) QoSontology.kif 1373-1373 设计模式特性subrelation
(subrelation environmentAttributes property) QoSontology.kif 459-459 环境属性特性subrelation
(subrelation formOfAdaptation property) QoSontology.kif 1470-1470 适应形式特性subrelation
(subrelation manner property) Merge.kif 1690-1690 形式特性subrelation
(subrelation modalAttribute property) Merge.kif 17155-17155 语气属性特性subrelation
(subrelation shape property) Mid-level-ontology.kif 25483-25483 shape特性subrelation
(subrelation status property) QoSontology.kif 796-796 状态特性subrelation
(subrelation strictness property) QoSontology.kif 1553-1553 严格特性subrelation
(subrelation systemBehavior property) QoSontology.kif 1342-1342 系统行为特性subrelation
(subrelation taskRelation property) QoSontology.kif 1442-1442 任务关系特性subrelation
(subrelation truth property) Merge.kif 16842-16842 真值特性subrelation
(termFormat ChineseLanguage property "属性") domainEnglishFormat.kif 47794-47794
(termFormat ChineseLanguage property "特性") chinese_format.kif 178-178
(termFormat ChineseTraditionalLanguage property "屬性") domainEnglishFormat.kif 47793-47793
(termFormat EnglishLanguage property "property") domainEnglishFormat.kif 47792-47792

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 实体地区instance那个 实体标准状况attribute 时间位置 holdsDuring 若且唯若 298.15 凯文度那个 实体air 温度 和 29.530 英寸汞那个 实体barometric 压力 在 那个 时间位置 holdsDuring
(=>
    (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 22196-22200
(=>
    (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
(=>
    (and
        (instance ?Y NitricOxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))
Geography.kif 6916-6922

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 协议 employs 另一个 协议 若且唯若 有存在 有认知的主事 这样 那个 有认知的主事雇用attribute那个 协议那个 有认知的主事party 协议 和 那个 另外 协议那个 有认知的主事party 协议
(<=>
    (exists (?Process)
        (programRunning ?Process ?Program))
    (property ?Program Executable))
QoSontology.kif 989-992 有存在 电脑程序 这样 电脑程序那个 电脑程序 的执行 program 若且唯若 那个 电脑程序可执行attribute
(<=>
    (instance ?RR BroadGaugeRailway)
    (property ?RR BroadGauge))
Transportation.kif 411-413 实体宽轨铁路instance 若且唯若 那个 实体宽规attribute
(<=>
    (instance ?RR DualGaugeRailway)
    (property ?RR DualGauge))
Transportation.kif 469-471 实体DualGaugeRailwayinstance 若且唯若 那个 实体双轨铁路attribute
(<=>
    (instance ?RR NarrowGaugeRailway)
    (property ?RR NarrowGauge))
Transportation.kif 460-462 实体窄轨铁路instance 若且唯若 那个 实体窄规attribute
(<=>
    (instance ?RR StandardGaugeRailway)
    (property ?RR StandardGauge))
Transportation.kif 443-445 实体标准轨距铁路instance 若且唯若 那个 实体标准规attribute
(=>
    (agreementExpirationDate ?AGREEMENT ?ENDDATE)
    (holdsDuring
        (FutureFn ?ENDDATE)
        (not
            (property ?AGREEMENT ActiveAgreement))))
Mid-level-ontology.kif 13901-13904
(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))
Mid-level-ontology.kif 13862-13867
(=>
    (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 17186-17199
(=>
    (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 20604-20617
(=>
    (contraryAttribute @ROW)
    (forall (?ATTR1 ?ATTR2)
        (=>
            (exists (?NUMBER1 ?NUMBER2)
                (and
                    (equal ?ATTR1
                        (ListOrderFn
                            (ListFn @ROW) ?NUMBER1))
                    (equal ?ATTR2
                        (ListOrderFn
                            (ListFn @ROW) ?NUMBER2))
                    (not
                        (equal ?NUMBER1 ?NUMBER2))))
            (=>
                (exists (?OBJ)
                    (property ?OBJ ?ATTR1))
                (not
                    (property ?OBJ ?ATTR2))))))
Merge.kif 477-489
(=>
    (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 30482-30482 CheetahVulnerableSpeciesattribute
(property Crocodile LeastConcernSpecies) Mid-level-ontology.kif 30458-30458 CrocodileLeastConcernSpeciesattribute
(property Ferret LeastConcernSpecies) Mid-level-ontology.kif 30499-30499 FerretLeastConcernSpeciesattribute
(property GuineaPig LeastConcernSpecies) Mid-level-ontology.kif 30517-30517 GuineaPigLeastConcernSpeciesattribute
(property Hamster LeastConcernSpecies) Mid-level-ontology.kif 30529-30529 HamsterLeastConcernSpeciesattribute
(property Lemur CriticallyEndangeredSpecies) Mid-level-ontology.kif 30388-30388 LemurCriticallyEndangeredSpeciesattribute
(property Lion VulnerableSpecies) Mid-level-ontology.kif 30289-30289 LionVulnerableSpeciesattribute
(property Octopus LeastConcernSpecies) Mid-level-ontology.kif 30418-30418 OctopusLeastConcernSpeciesattribute
(property Panda VulnerableSpecies) Mid-level-ontology.kif 30405-30405 PandaVulnerableSpeciesattribute
(property Parrot LeastConcernSpecies) Mid-level-ontology.kif 30371-30371 ParrotLeastConcernSpeciesattribute
(property Reindeer VulnerableSpecies) Mid-level-ontology.kif 30440-30440 驯鹿VulnerableSpeciesattribute
(property Rhinoceros EndangeredSpecies) Mid-level-ontology.kif 30348-30348 Rhinoceros濒危物种attribute
(property Tiger EndangeredSpecies) Mid-level-ontology.kif 30328-30328 Tiger濒危物种attribute


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