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 "这个 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 1615-1617
(domain property 1 Entity) Merge.kif 1612-1612 特性 的 1 数量 是 实体 的 instance
(domain property 2 Attribute) Merge.kif 1613-1613 特性 的 2 数量 是 属性 的 instance
(instance property BinaryPredicate) Merge.kif 1611-1611 特性 是 二元谓语 的 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 181-181
(subrelation abstractionLevel property) QoSontology.kif 1622-1622 抽象层次 是 特性 的 subrelation
(subrelation attribute property) Merge.kif 1623-1623 属于 是 特性 的 subrelation
(subrelation complexity property) QoSontology.kif 1519-1519 复杂 是 特性 的 subrelation
(subrelation designPattern property) QoSontology.kif 1378-1378 设计模式 是 特性 的 subrelation
(subrelation environmentAttributes property) QoSontology.kif 457-457 环境属性 是 特性 的 subrelation
(subrelation formOfAdaptation property) QoSontology.kif 1475-1475 适应形式 是 特性 的 subrelation
(subrelation manner property) Merge.kif 1635-1635 形式 是 特性 的 subrelation
(subrelation modalAttribute property) Merge.kif 16065-16065 语气属性 是 特性 的 subrelation
(subrelation shape property) Mid-level-ontology.kif 23501-23501 shape 是 特性 的 subrelation
(subrelation status property) QoSontology.kif 794-794 状态 是 特性 的 subrelation
(subrelation strictness property) QoSontology.kif 1558-1558 严格 是 特性 的 subrelation
(subrelation systemBehavior property) QoSontology.kif 1347-1347 系统行为 是 特性 的 subrelation
(subrelation taskRelation property) QoSontology.kif 1447-1447 任务关系 是 特性 的 subrelation
(subrelation truth property) Merge.kif 15777-15777 真值 是 特性 的 subrelation
(termFormat ChineseLanguage property "属性") domainEnglishFormat.kif 47702-47702
(termFormat ChineseLanguage property "特性") chinese_format.kif 178-178
(termFormat ChineseTraditionalLanguage property "屬性") domainEnglishFormat.kif 47701-47701
(termFormat EnglishLanguage property "property") domainEnglishFormat.kif 47700-47700

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 1183-1193 实体 是 地区 的 instance 和 那个 实体 有 标准状况 的 attribute 在 时间位置 holdsDuring 若且唯若 298.15 凯文度 是 那个 实体 的 air 温度 和 29.530 英寸汞 是 那个 实体 的 barometric 压力 在 那个 时间位置 holdsDuring
(=>
    (and
        (instance ?DOC ContractDocument)
        (containsInformation ?DOC ?PROP)
        (property ?PROP Contract))
    (property ?PROP Law))		 Media.kif 995-1000
(=>
    (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 2675-2687
(=>
    (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 2689-2701
(=>
    (and
        (instance ?O OccupationalRole)
        (property ?X ?O))
    (instance ?X CognitiveAgent))		 Mid-level-ontology.kif 20088-20092
(=>
    (and
        (instance ?ORG OrganicObject)
        (instance ?ATTR DevelopmentalAttribute)
        (holdsDuring ?TIME
            (property ?ORG ?ATTR)))
    (holdsDuring ?TIME
        (developmentalForm ?ORG ?ATTR)))		 Mid-level-ontology.kif 383-388
(=>
    (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 ?WIDTH))
    (greaterThan ?WIDTH
        (MeasureFn 1.44 Meter)))		 Transportation.kif 400-405
(=>
    (and
        (instance ?RR Railway)
        (property ?RR NarrowGauge)
        (trackWidth ?RR ?WIDTH))
    (lessThanOrEqualTo ?WIDTH
        (MeasureFn 1.435 Meter)))		 Transportation.kif 447-452
(=>
    (and
        (instance ?RR Railway)
        (property ?RR StandardGauge)
        (trackWidth ?RR ?WIDTH))
    (greaterThanOrEqualTo ?WIDTH
        (MeasureFn 1.435 Meter)))		 Transportation.kif 423-428
(=>
    (and
        (instance ?RR Railway)
        (property ?RR StandardGauge)
        (trackWidth ?RR ?WIDTH))
    (lessThanOrEqualTo ?WIDTH
        (MeasureFn 1.44 Meter)))		 Transportation.kif 430-435
(=>
    (and
        (instance ?Y NitricOxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))		 Geography.kif 6554-6560
(=>
    (and
        (instance ?Y NitrogenDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))		 Geography.kif 6579-6585
(=>
    (and
        (instance ?Y SulphurDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))		 Geography.kif 6519-6525
(=>
    (and
        (property ?AGREEMENT Contract)
        (partyToAgreement ?AGENT1 ?AGREEMENT)
        (partyToAgreement ?AGENT2 ?AGREEMENT)
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?AGENT1)
        (realization ?PROC ?PROP)
        (not
            (consistent ?PROP ?AGREEMENT)))
    (modalAttribute
        (exists (?LEGAL)
            (and
                (instance ?LEGAL LegalAction)
                (plaintiff ?LEGAL ?AGENT2)
                (defendant ?LEGAL ?AGENT1))) Possibility))		 Mid-level-ontology.kif 11772-11786
(=>
    (and
        (property ?ITEM ?VALUE)
        (instance ?VALUE TruthValue))
    (or
        (instance ?ITEM Sentence)
        (instance ?ITEM Proposition)))		 Merge.kif 15762-15768
(=>
    (and
        (property ?OBJ ?SHAPE)
        (instance ?OBJ Physical)
        (instance ?SHAPE ShapeAttribute))
    (shape ?OBJ ?SHAPE))		 Mid-level-ontology.kif 23509-23514
(=>
    (and
        (property ?OBJECT ?ATTRIBUTE)
        (instance ?ATTRIBUTE AlgebroDifferentialAttribute))
    (instance ?OBJECT SetOfEquations))		 engineering.kif 229-233
(=>
    (and
        (property ?OBJECT ?ATTRIBUTE)
        (instance ?ATTRIBUTE EquationAttribute))
    (or
        (instance ?OBJECT Equation)
        (instance ?OBJECT SetOfEquations)))		 engineering.kif 210-216
(=>
    (and
        (property ?Option AmericanStyleOption)
        (optionHolder ?Option ?Agent)
        (agreementExpirationDate ?Option ?Day))
    (holdsRight
        (exists (?Exercise)
            (and
                (instance ?Exercise ExerciseAnOption)
                (patient ?Exercise ?Option)
                (before
                    (EndFn
                        (WhenFn ?Exercise))
                    (EndFn ?Day)))) ?Agent))		 FinancialOntology.kif 2709-2721
(=>
    (and
        (property ?Option EuropeanStyleOption)
        (agreementExpirationDate ?Option ?Date))
    (exists (?Period ?Time)
        (and
            (instance ?Period TimeInterval)
            (finishes ?Period ?Date)
            (=>
                (and
                    (instance ?Exercise ExerciseAnOption)
                    (equal
                        (WhenFn ?Exercise) ?Time))
                (temporalPart ?Time ?Period)))))		 FinancialOntology.kif 2729-2741
(=>
    (and
        (property ?Option Option)
        (optionHolder ?Option ?Agent)
        (strikePrice ?Option ?Price)
        (agreementExpirationDate ?Option ?ExpDate)
        (price ?Stocks ?Price ?Time)
        (instance ?Time TimeInterval)
        (before
            (EndFn ?Time)
            (BeginFn ?ExpDate))
        (underlier ?Option ?Stocks))
    (holdsRight
        (KappaFn ?Sell
            (and
                (instance ?Sell Selling)
                (patient ?Sell ?Stocks)
                (time ?Sell ?Time)
                (measure ?Stocks
                    (MeasureFn 100 ShareUnit))
                (agent ?Sell ?Agent))) ?Agent))		 FinancialOntology.kif 2591-2607

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 3158-3164 施事体 employs 协议 若且唯若 有存在 有认知的主事 这样 那个 有认知的主事 有 雇用 的 attribute 和 那个 施事体 是 那个 有认知的主事 的 party 协议 和 那个 协议 是 那个 有认知的主事 的 party 协议
(<=>
    (exists (?Process)
        (programRunning ?Process ?Program))
    (property ?Program Executable))		 QoSontology.kif 987-990 有存在 电脑程序 这样 电脑程序 是 那个 电脑程序 的执行 program 若且唯若 那个 电脑程序 有 可执行 的 attribute
(<=>
    (instance ?RR BroadGaugeRailway)
    (property ?RR BroadGauge))		 Transportation.kif 407-409 实体 是 宽轨铁路 的 instance 若且唯若 那个 实体 有 宽规 的 attribute
(<=>
    (instance ?RR DualGaugeRailway)
    (property ?RR DualGauge))		 Transportation.kif 463-465 实体 是 DualGaugeRailway 的 instance 若且唯若 那个 实体 有 双轨铁路 的 attribute
(<=>
    (instance ?RR NarrowGaugeRailway)
    (property ?RR NarrowGauge))		 Transportation.kif 454-456 实体 是 窄轨铁路 的 instance 若且唯若 那个 实体 有 窄规 的 attribute
(<=>
    (instance ?RR StandardGaugeRailway)
    (property ?RR StandardGauge))		 Transportation.kif 437-439 实体 是 标准轨距铁路 的 instance 若且唯若 那个 实体 有 标准规 的 attribute
(<=>
    (instance ?X
        (AttrFn ?CLASS ?ATTR))
    (and
        (instance ?X ?CLASS)
        (property ?X ?ATTR)))		 Merge.kif 1705-1710 实体 是 集或类 跟 属性 的 attr 的 instance 若且唯若 那个 实体 是 那个 集或类 的 instance 和 那个 实体 有 那个 属性 的 attribute
(=>
    (agreementExpirationDate ?AGREEMENT ?ENDDATE)
    (holdsDuring
        (FutureFn ?ENDDATE)
        (not
            (property ?AGREEMENT ActiveAgreement))))		 Mid-level-ontology.kif 11664-11667
(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))		 Mid-level-ontology.kif 11625-11630
(=>
    (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 16096-16109
(=>
    (and
        (instance ?Account LiabilityAccount)
        (accountHolder ?Account ?Agent)
        (accountAt ?Account ?Bank))
    (exists (?Debt)
        (and
            (property ?Debt Liability)
            (partyToAgreement ?Debt ?Agent)
            (partyToAgreement ?Debt ?Bank))))		 FinancialOntology.kif 1106-1115
(=>
    (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 625-641
(=>
    (and
        (property ?Option StockOption)
        (underlier ?Option ?Stock))
    (property ?Stock CommonStock))		 FinancialOntology.kif 2634-2638
(=>
    (and
        (subclass ?X ?CLASS)
        (instance ?I ?X)
        (instance ?ATTR Attribute))
    (=>
        (property ?I ?ATTR)
        (equal ?X
            (AttrFn ?CLASS ?ATTR))))		 Merge.kif 1695-1703
(=>
    (and
        (successorAttribute ?ATTR1 ?ATTR2)
        (holdsDuring ?TIME1
            (property ?ENTITY ?ATTR2)))
    (exists (?TIME2)
        (and
            (temporalPart ?TIME2
                (PastFn ?TIME1))
            (holdsDuring ?TIME2
                (property ?ENTITY ?ATTR1)))))		 Merge.kif 682-689
(=>
    (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 18477-18490
(=>
    (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 475-485
(=>
    (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 265-270
(=>
    (equal ?THING1 ?THING2)
    (forall (?ATTR)
        (<=>
            (property ?THING1 ?ATTR)
            (property ?THING2 ?ATTR))))		 Merge.kif 258-263

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 28712-28712 Cheetah 有 VulnerableSpecies 的 attribute
(property Crocodile LeastConcernSpecies) Mid-level-ontology.kif 28688-28688 Crocodile 有 LeastConcernSpecies 的 attribute
(property Ferret LeastConcernSpecies) Mid-level-ontology.kif 28729-28729 Ferret 有 LeastConcernSpecies 的 attribute
(property GuineaPig LeastConcernSpecies) Mid-level-ontology.kif 28747-28747 GuineaPig 有 LeastConcernSpecies 的 attribute
(property Hamster LeastConcernSpecies) Mid-level-ontology.kif 28759-28759 Hamster 有 LeastConcernSpecies 的 attribute
(property Lemur CriticallyEndangeredSpecies) Mid-level-ontology.kif 28618-28618 Lemur 有 CriticallyEndangeredSpecies 的 attribute
(property Lion VulnerableSpecies) Mid-level-ontology.kif 28519-28519 Lion 有 VulnerableSpecies 的 attribute
(property Octopus LeastConcernSpecies) Mid-level-ontology.kif 28648-28648 Octopus 有 LeastConcernSpecies 的 attribute
(property Panda VulnerableSpecies) Mid-level-ontology.kif 28635-28635 Panda 有 VulnerableSpecies 的 attribute
(property Parrot LeastConcernSpecies) Mid-level-ontology.kif 28601-28601 Parrot 有 LeastConcernSpecies 的 attribute
(property Reindeer VulnerableSpecies) Mid-level-ontology.kif 28670-28670 驯鹿 有 VulnerableSpecies 的 attribute
(property Rhinoceros EndangeredSpecies) Mid-level-ontology.kif 28578-28578 Rhinoceros 有 濒危物种 的 attribute
(property Tiger EndangeredSpecies) Mid-level-ontology.kif 28558-28558 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners