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。") Merge.kif 1769-1770
(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 1766-1768
(domain property 1 Entity) Merge.kif 1764-1764 特性 的 1 数量 是 实体 的 instance
(domain property 2 Attribute) Merge.kif 1765-1765 特性 的 2 数量 是 属性 的 instance
(instance property BinaryPredicate) Merge.kif 1763-1763 特性 是 二元谓语 的 instance

appearance as argument number 2
-------------------------


(format ChineseLanguage property "%1 %n 有 %2 的 attribute") chinese_format.kif 177-177
(format EnglishLanguage property "%1 has %n an attribute %2") english_format.kif 115-115
(subrelation abstractionLevel property) QoSontology.kif 1612-1612 abstractionLevel 是 特性 的 subrelation
(subrelation attribute property) Merge.kif 1775-1775 属于 是 特性 的 subrelation
(subrelation complexity property) QoSontology.kif 1509-1509 complexity 是 特性 的 subrelation
(subrelation designPattern property) QoSontology.kif 1368-1368 designPattern 是 特性 的 subrelation
(subrelation environmentAttributes property) QoSontology.kif 454-454 environmentAttributes 是 特性 的 subrelation
(subrelation formOfAdaptation property) QoSontology.kif 1465-1465 formOfAdaptation 是 特性 的 subrelation
(subrelation manner property) Merge.kif 1786-1786 形式 是 特性 的 subrelation
(subrelation modalAttribute property) Merge.kif 17656-17656 语气属性 是 特性 的 subrelation
(subrelation shape property) Mid-level-ontology.kif 23488-23488 shape 是 特性 的 subrelation
(subrelation status property) QoSontology.kif 784-784 status 是 特性 的 subrelation
(subrelation strictness property) QoSontology.kif 1548-1548 strictness 是 特性 的 subrelation
(subrelation systemBehavior property) QoSontology.kif 1337-1337 systemBehavior 是 特性 的 subrelation
(subrelation taskRelation property) QoSontology.kif 1437-1437 taskRelation 是 特性 的 subrelation
(subrelation truth property) Merge.kif 17308-17308 真值 是 特性 的 subrelation
(termFormat ChineseLanguage property "特性") chinese_format.kif 178-178 termFormat ChineseLanguage, 特性 and "特性"
(termFormat EnglishLanguage property "property") domainEnglishFormat.kif 8390-8390 termFormat EnglishLanguage, 特性 and "property"

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 1086-1096 实体 是 地区 的 instance 和 那个 实体 有 标准状况 的 attribute 在 时间位置 holdsDuring 若且唯若 airTemperature 那个 实体 and 298.15 KelvinDegree 和 barometricPressure 那个 实体 and 29.530 InchMercury 在 那个 时间位置 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 2674-2686
(=>
    (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 2688-2700
(=>
    (and
        (instance ?O OccupationalRole)
        (property ?X ?O))
    (instance ?X CognitiveAgent))		 Mid-level-ontology.kif 20075-20079
(=>
    (and
        (instance ?ORG OrganicObject)
        (instance ?ATTR DevelopmentalAttribute)
        (holdsDuring ?TIME
            (property ?ORG ?ATTR)))
    (holdsDuring ?TIME
        (developmentalForm ?ORG ?ATTR)))		 Mid-level-ontology.kif 384-389
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path ContinuousPath))
    (not
        (property ?Path QuasicontinuousPath)))		 QoSontology.kif 1160-1164
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path ContinuousPath))
    (not
        (property ?Path TransientPath)))		 QoSontology.kif 1154-1158
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path DynamicDataStream))
    (not
        (property ?Path DeterministicDataStream)))		 QoSontology.kif 1132-1136
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path DynamicDataStream))
    (not
        (property ?Path StochasticDataStream)))		 QoSontology.kif 1126-1130
(=>
    (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 6538-6544
(=>
    (and
        (instance ?Y NitrogenDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))		 Geography.kif 6563-6569
(=>
    (and
        (instance ?Y SulphurDioxide)
        (holdsDuring ?T
            (property ?Y StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (attribute ?Y Gas)))		 Geography.kif 6503-6509
(=>
    (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 11766-11780
(=>
    (and
        (property ?ITEM ?VALUE)
        (instance ?VALUE TruthValue))
    (or
        (instance ?ITEM Sentence)
        (instance ?ITEM Proposition)))		 Merge.kif 17291-17297
(=>
    (and
        (property ?OBJ ?SHAPE)
        (instance ?OBJ Physical)
        (instance ?SHAPE ShapeAttribute))
    (shape ?OBJ ?SHAPE))		 Mid-level-ontology.kif 23496-23501
(=>
    (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 2708-2720
(=>
    (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 2728-2740
(=>
    (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 2590-2606

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 3151-3157 施事体 employs Agreement 若且唯若 有存在 有认知的主事 这样 那个 有认知的主事 有 Employment 的 attribute 和 partyToAgreement 那个 有认知的主事 and 那个 施事体 和 partyToAgreement 那个 有认知的主事 and 那个 Agreement
(<=>
    (exists (?Process)
        (programRunning ?Process ?Program))
    (property ?Program Executable))		 QoSontology.kif 977-980 有存在 ComputerProcess 这样 programRunning 那个 ComputerProcess and 电脑程序 若且唯若 那个 电脑程序 有 Executable 的 attribute
(<=>
    (instance ?RR BroadGaugeRailway)
    (property ?RR BroadGauge))		 Transportation.kif 407-409 实体 是 BroadGaugeRailway 的 instance 若且唯若 那个 实体 有 BroadGauge 的 attribute
(<=>
    (instance ?RR DualGaugeRailway)
    (property ?RR DualGauge))		 Transportation.kif 463-465 实体 是 DualGaugeRailway 的 instance 若且唯若 那个 实体 有 DualGauge 的 attribute
(<=>
    (instance ?RR NarrowGaugeRailway)
    (property ?RR NarrowGauge))		 Transportation.kif 454-456 实体 是 NarrowGaugeRailway 的 instance 若且唯若 那个 实体 有 NarrowGauge 的 attribute
(<=>
    (instance ?RR StandardGaugeRailway)
    (property ?RR StandardGauge))		 Transportation.kif 437-439 实体 是 StandardGaugeRailway 的 instance 若且唯若 那个 实体 有 StandardGauge 的 attribute
(<=>
    (instance ?X
        (AttrFn ?CLASS ?ATTR))
    (and
        (instance ?X ?CLASS)
        (property ?X ?ATTR)))		 Merge.kif 1857-1862 实体 是 AttrFn 集或类 and 属性 的 instance 若且唯若 那个 实体 是 那个 集或类 的 instance 和 那个 实体 有 那个 属性 的 attribute
(=>
    (agreementExpirationDate ?AGREEMENT ?ENDDATE)
    (holdsDuring
        (FutureFn ?ENDDATE)
        (not
            (property ?AGREEMENT ActiveAgreement))))		 Mid-level-ontology.kif 11658-11661
(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))		 Mid-level-ontology.kif 11619-11624
(=>
    (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 17696-17709
(=>
    (and
        (instance ?Account LiabilityAccount)
        (accountHolder ?Account ?Agent)
        (accountAt ?Account ?Bank))
    (exists (?Debt)
        (and
            (property ?Debt Liability)
            (partyToAgreement ?Debt ?Agent)
            (partyToAgreement ?Debt ?Bank))))		 FinancialOntology.kif 1107-1116
(=>
    (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 1160-1164
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path ContinuousPath))
    (not
        (property ?Path TransientPath)))		 QoSontology.kif 1154-1158
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path DynamicDataStream))
    (not
        (property ?Path DeterministicDataStream)))		 QoSontology.kif 1132-1136
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path DynamicDataStream))
    (not
        (property ?Path StochasticDataStream)))		 QoSontology.kif 1126-1130
(=>
    (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 627-643
(=>
    (and
        (property ?Option StockOption)
        (underlier ?Option ?Stock))
    (property ?Stock CommonStock))		 FinancialOntology.kif 2633-2637
(=>
    (and
        (subclass ?X ?CLASS)
        (instance ?I ?X)
        (instance ?ATTR Attribute))
    (=>
        (property ?I ?ATTR)
        (equal ?X
            (AttrFn ?CLASS ?ATTR))))		 Merge.kif 1847-1855
(=>
    (and
        (successorAttribute ?ATTR1 ?ATTR2)
        (holdsDuring ?TIME1
            (property ?ENTITY ?ATTR2)))
    (exists (?TIME2)
        (and
            (temporalPart ?TIME2
                (PastFn ?TIME1))
            (holdsDuring ?TIME2
                (property ?ENTITY ?ATTR1)))))		 Merge.kif 746-753
(=>
    (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 18475-18488
(=>
    (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 528-538
(=>
    (dataStreamSlack ?Path ?Number)
    (or
        (property ?Path ContinuousPath)
        (property ?Path QuasicontinuousPath)))		 QoSontology.kif 1209-1213
(=>
    (equal ?ATTR1 ?ATTR2)
    (forall (?THING)
        (<=>
            (property ?THING ?ATTR1)
            (property ?THING ?ATTR2))))		 Merge.kif 300-305
(=>
    (equal ?THING1 ?THING2)
    (forall (?ATTR)
        (<=>
            (property ?THING1 ?ATTR)
            (property ?THING2 ?ATTR))))		 Merge.kif 293-298

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 28703-28703 Cheetah 有 VulnerableSpecies 的 attribute
(property Crocodile LeastConcernSpecies) Mid-level-ontology.kif 28679-28679 Crocodile 有 LeastConcernSpecies 的 attribute
(property Ferret LeastConcernSpecies) Mid-level-ontology.kif 28720-28720 Ferret 有 LeastConcernSpecies 的 attribute
(property GuineaPig LeastConcernSpecies) Mid-level-ontology.kif 28738-28738 GuineaPig 有 LeastConcernSpecies 的 attribute
(property Hamster LeastConcernSpecies) Mid-level-ontology.kif 28750-28750 Hamster 有 LeastConcernSpecies 的 attribute
(property Lemur CriticallyEndangeredSpecies) Mid-level-ontology.kif 28609-28609 Lemur 有 CriticallyEndangeredSpecies 的 attribute
(property Lion VulnerableSpecies) Mid-level-ontology.kif 28510-28510 Lion 有 VulnerableSpecies 的 attribute
(property Octopus LeastConcernSpecies) Mid-level-ontology.kif 28639-28639 Octopus 有 LeastConcernSpecies 的 attribute
(property Panda VulnerableSpecies) Mid-level-ontology.kif 28626-28626 Panda 有 VulnerableSpecies 的 attribute
(property Parrot LeastConcernSpecies) Mid-level-ontology.kif 28592-28592 Parrot 有 LeastConcernSpecies 的 attribute
(property Reindeer VulnerableSpecies) Mid-level-ontology.kif 28661-28661 Reindeer 有 VulnerableSpecies 的 attribute
(property Rhinoceros EndangeredSpecies) Mid-level-ontology.kif 28569-28569 Rhinoceros 有 EndangeredSpecies 的 attribute
(property Tiger EndangeredSpecies) Mid-level-ontology.kif 28549-28549 Tiger 有 EndangeredSpecies 的 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