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 1711-1713
(documentation property JapaneseLanguage "この Predicate は、E と A のインスタンスの間に 保持される。(property ?ENTITY ?ATTR) とは、?ENTITY が Attribute ?ATTR を有する、という 意味である。") japanese_format.kif 315-317
(domain property 1 Entity) Merge.kif 1708-1708 特性 的 1 数量 是 实体 的 instance
(domain property 2 Attribute) Merge.kif 1709-1709 特性 的 2 数量 是 属性 的 instance
(instance property BinaryPredicate) Merge.kif 1707-1707 特性 是 二元谓语 的 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
(format FrenchLanguage property "%1 a %n un attribute %2") french_format.kif 108-108
(format ItalianLanguage property "%1 ha %n un attributo %2") relations-it.txt 235-235
(format JapaneseLanguage property "%1 には attribute %2 %n{ない}") japanese_format.kif 1937-1937
(format PortugueseLanguage property "%1 tem %n um atributo de %2") portuguese_format.kif 60-60
(format cz property "%1 %n{ne}m� atribut %2") relations-cz.txt 72-72
(format de property "%1 hat ein attribut %2 %n{nicht}") relations-de.txt 223-223
(format hi property "%2 %1 kii eka visheshhataa %n hai") relations-hindi.txt 273-273
(format ro property "%1 %n{nu} are attribute%t{atributul} %2") relations-ro.kif 127-127
(format sv property "%1 har %n{inte} egenskapen %2") relations-sv.txt 113-113
(format tg property "%1 %n mayroon ay ang katangian ng %2") relations-tg.txt 427-427
(subrelation abstractionLevel property) QoSontology.kif 1617-1617 抽象层次 是 特性 的 subrelation
(subrelation attribute property) Merge.kif 1719-1719 属于 是 特性 的 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 1731-1731 形式 是 特性 的 subrelation
(subrelation modalAttribute property) Merge.kif 17272-17272 语气属性 是 特性 的 subrelation
(subrelation shape property) Mid-level-ontology.kif 25491-25491 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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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
        (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 22198-22202
(=>
    (and
        (instance ?ORG OrganicObject)
        (instance ?ATTR DevelopmentalAttribute)
        (holdsDuring ?TIME
            (property ?ORG ?ATTR)))
    (holdsDuring ?TIME
        (developmentalForm ?ORG ?ATTR)))		 Mid-level-ontology.kif 241-246
(=>
    (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 协议 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 实体 是 DualGaugeRailway 的 instance 若且唯若 那个 实体 有 双轨铁路 的 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 14026-14029
(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))		 Mid-level-ontology.kif 13987-13992
(=>
    (and
        (attribute ?OBJ ?ATR)
        (instance ?ATR SubjectiveAssessmentAttribute))
    (exists (?TIME ?JUDGE ?AGENT)
        (and
            (instance ?JUDGE Judging)
            (agent ?JUDGE ?AGENT)
            (patient ?JUDGE ?OBJ)
            (result ?JUDGE
                (attribute ?OBJ ?ATR))
            (holdsDuring ?TIME
                (believes ?AGENT
                    (property ?OBJ ?ATR))))))		 Merge.kif 17303-17316
(=>
    (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 20769-20782
(=>
    (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 30468-30468 Cheetah 有 VulnerableSpecies 的 attribute
(property Crocodile LeastConcernSpecies) Mid-level-ontology.kif 30444-30444 Crocodile 有 LeastConcernSpecies 的 attribute
(property Ferret LeastConcernSpecies) Mid-level-ontology.kif 30485-30485 Ferret 有 LeastConcernSpecies 的 attribute
(property GuineaPig LeastConcernSpecies) Mid-level-ontology.kif 30503-30503 GuineaPig 有 LeastConcernSpecies 的 attribute
(property Hamster LeastConcernSpecies) Mid-level-ontology.kif 30515-30515 Hamster 有 LeastConcernSpecies 的 attribute
(property Lemur CriticallyEndangeredSpecies) Mid-level-ontology.kif 30374-30374 Lemur 有 CriticallyEndangeredSpecies 的 attribute
(property Lion VulnerableSpecies) Mid-level-ontology.kif 30275-30275 Lion 有 VulnerableSpecies 的 attribute
(property Octopus LeastConcernSpecies) Mid-level-ontology.kif 30404-30404 Octopus 有 LeastConcernSpecies 的 attribute
(property Panda VulnerableSpecies) Mid-level-ontology.kif 30391-30391 Panda 有 VulnerableSpecies 的 attribute
(property Parrot LeastConcernSpecies) Mid-level-ontology.kif 30357-30357 Parrot 有 LeastConcernSpecies 的 attribute
(property Reindeer VulnerableSpecies) Mid-level-ontology.kif 30426-30426 驯鹿 有 VulnerableSpecies 的 attribute
(property Rhinoceros EndangeredSpecies) Mid-level-ontology.kif 30334-30334 Rhinoceros 有 濒危物种 的 attribute
(property Tiger EndangeredSpecies) Mid-level-ontology.kif 30314-30314 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