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 16092-16092 语气属性 是 特性 的 subrelation
(subrelation shape property) Mid-level-ontology.kif 23526-23526 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 15804-15804 真值 是 特性 的 subrelation
(termFormat ChineseLanguage property "属性") domainEnglishFormat.kif 47723-47723
(termFormat ChineseLanguage property "特性") chinese_format.kif 178-178
(termFormat ChineseTraditionalLanguage property "屬性") domainEnglishFormat.kif 47722-47722
(termFormat EnglishLanguage property "property") domainEnglishFormat.kif 47721-47721

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 1400-1410 实体 是 地区 的 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 20113-20117
(=>
    (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 11797-11811
(=>
    (and
        (property ?ITEM ?VALUE)
        (instance ?VALUE TruthValue))
    (or
        (instance ?ITEM Sentence)
        (instance ?ITEM Proposition)))		 Merge.kif 15789-15795
(=>
    (and
        (property ?OBJ ?SHAPE)
        (instance ?OBJ Physical)
        (instance ?SHAPE ShapeAttribute))
    (shape ?OBJ ?SHAPE))		 Mid-level-ontology.kif 23534-23539
(=>
    (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 11689-11692
(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))		 Mid-level-ontology.kif 11650-11655
(=>
    (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 16123-16136
(=>
    (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 18502-18515
(=>
    (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 28736-28736 Cheetah 有 VulnerableSpecies 的 attribute
(property Crocodile LeastConcernSpecies) Mid-level-ontology.kif 28712-28712 Crocodile 有 LeastConcernSpecies 的 attribute
(property Ferret LeastConcernSpecies) Mid-level-ontology.kif 28753-28753 Ferret 有 LeastConcernSpecies 的 attribute
(property GuineaPig LeastConcernSpecies) Mid-level-ontology.kif 28771-28771 GuineaPig 有 LeastConcernSpecies 的 attribute
(property Hamster LeastConcernSpecies) Mid-level-ontology.kif 28783-28783 Hamster 有 LeastConcernSpecies 的 attribute
(property Lemur CriticallyEndangeredSpecies) Mid-level-ontology.kif 28642-28642 Lemur 有 CriticallyEndangeredSpecies 的 attribute
(property Lion VulnerableSpecies) Mid-level-ontology.kif 28543-28543 Lion 有 VulnerableSpecies 的 attribute
(property Octopus LeastConcernSpecies) Mid-level-ontology.kif 28672-28672 Octopus 有 LeastConcernSpecies 的 attribute
(property Panda VulnerableSpecies) Mid-level-ontology.kif 28659-28659 Panda 有 VulnerableSpecies 的 attribute
(property Parrot LeastConcernSpecies) Mid-level-ontology.kif 28625-28625 Parrot 有 LeastConcernSpecies 的 attribute
(property Reindeer VulnerableSpecies) Mid-level-ontology.kif 28694-28694 驯鹿 有 VulnerableSpecies 的 attribute
(property Rhinoceros EndangeredSpecies) Mid-level-ontology.kif 28602-28602 Rhinoceros 有 濒危物种 的 attribute
(property Tiger EndangeredSpecies) Mid-level-ontology.kif 28582-28582 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