Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  instance

Sigma KEE - instance
instance

appearance as argument number 1
-------------------------


(documentation instance ChineseLanguage "如果一个物体属于一个SetOrClass, 这物体就那个 SetOrClass的一个instance。 一个个体可以是许多类别的一个instance, 其中有一些可以是其他类别 的子类别,所以对于instance并没有假设任何具体或独特的含义。") Merge.kif 90-90
(documentation instance EnglishLanguage "An object is an instance of a SetOrClass if it is included in that SetOrClass. An individual may be an instance of many classes, some of which may be subclasses of others. Thus, there is no assumption in the meaning of instance about specificity or uniqueness.") Merge.kif 85-88
(domain instance 1 Entity) Merge.kif 82-82 实例 的 1 数量 是 实体instance
(domain instance 2 SetOrClass) Merge.kif 83-83 实例 的 2 数量 是 集或类instance
(instance instance BinaryPredicate) Merge.kif 81-81 实例二元谓语instance

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


(format ChineseLanguage instance "%1 %n 是 %2 的 instance") chinese_format.kif 305-305
(format EnglishLanguage instance "%1 is %n an instance of %2") english_format.kif 185-185
(format FrenchLanguage instance "%1 est %n une instance de %2") french_format.kif 175-175
(format ItalianLanguage instance "%1 � %n un' istanza di %2") relations-it.txt 149-149
(format PortugueseLanguage instance "%1 e' %n uma instancia de %2") portuguese_format.kif 127-127
(format ar instance "%1 هو %n مِثَال عن %2") arabic_format.kif 120-120
(format cz instance "%1 %p{je} %n{nen�} instanc� t��dy %2") relations-cz.txt 173-173
(format de instance "%1 ist ein fall von %2 %n{nicht}") relations-de.txt 400-400
(format hi instance "%1 %2 kaa drishhTaanta %n hai") relations-hindi.txt 188-188
(format tg instance "%1 %n ay ang kasapi sa %2") relations-tg.txt 302-302
(relatedInternalConcept member instance) Merge.kif 1303-1303 组员实例 是 内部相关
(subrelation element instance) Merge.kif 5493-5493 元素实例subrelation
(subrelation immediateInstance instance) Merge.kif 93-93 直接实例实例subrelation
(termFormat ChineseLanguage instance "实例") chinese_format.kif 306-306 termFormat ChineseLanguage, 实例 and "实例"
(termFormat EnglishLanguage instance "instance") domainEnglishFormat.kif 5458-5458 termFormat EnglishLanguage, 实例 and "instance"
(termFormat ar instance "«مِثَال عن»") arabic_format.kif 570-570 termFormat ar, 实例 and "«مِثَال عن»"
(termFormat tg instance "halimbawa") relations-tg.txt 303-303 termFormat tg, 实例 and "halimbawa"

antecedent
-------------------------


(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Corporation))
    (instance ?Account CorporateAccount))
FinancialOntology.kif 963-967 accountHolder FinancialAccount and 有认知的主事那个 有认知的主事法人财团instance 若且唯若 那个 FinancialAccountCorporateAccountinstance
(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))
FinancialOntology.kif 941-945 accountHolder FinancialAccount and 有认知的主事那个 有认知的主事人类instance 若且唯若 那个 FinancialAccountPersonalAccountinstance
(<=>
    (and
        (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY)
        (surface ?OBJ2 PlanetEarth)
        (instance ?AIRCRAFT Aircraft))
    (absoluteHeight ?AIRCRAFT ?QUANTITY))
MilitaryDevices.kif 1461-1466 Aircraftaltitude 自身连接物体那个 自身连接物体PlanetEarthsurface那个 AircraftAircraftinstance 若且唯若 absoluteHeight 那个 Aircraft and AltitudeMeasure
(<=>
    (and
        (attribute ?INDIVIDUAL ?CH)
        (instance ?CH Christian))
    (member ?INDIVIDUAL Christianity))
People.kif 797-801 实体 客体attribute那个 实体Christianinstance 若且唯若 那个 客体Christianitymember
(<=>
    (and
        (equal
            (AbsoluteValueFn ?NUMBER1) ?NUMBER2)
        (instance ?NUMBER1 RealNumber)
        (instance ?NUMBER2 RealNumber))
    (or
        (and
            (instance ?NUMBER1 NonnegativeRealNumber)
            (equal ?NUMBER1 ?NUMBER2))
        (and
            (instance ?NUMBER1 NegativeRealNumber)
            (equal ?NUMBER2
                (SubtractionFn 0 ?NUMBER1)))))
Merge.kif 4911-4922 实数 的绝对值 equal 非负实数那个 实数实数instance那个 非负实数实数instance 若且唯若 那个 实数非负实数instance那个 实数 equal 那个 非负实数那个 实数负实数instance那个 非负实数 equal (0 和 那个 实数)
(<=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))
Merge.kif 18649-18656 客体有感知的主事instanceLiving那个 客体attribute 若且唯若 有存在 实体 这样 那个 实体意识状态instance那个 实体那个 客体attribute
(<=>
    (and
        (instance ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))
FinancialOntology.kif 2252-2257 FinancialAccountFinancialAccountinstance 有认知的主事 possesses FinancialAsset那个 FinancialAccount equal AccountFn 那个 FinancialAsset 若且唯若 accountHolder 那个 FinancialAccount and 那个 有认知的主事
(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))
FinancialOntology.kif 952-956 FinancialAccountPersonalAccountinstance 有认知的主事 所描述的类别 instance 的数量 是 greaterThan 1 若且唯若 那个 FinancialAccountJointAccountinstance
(<=>
    (and
        (instance ?B BodyPart)
        (holdsDuring ?T
            (attribute ?B Bare)))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (covers ?C ?B))))))
Mid-level-ontology.kif 28252-28262 客体身体部位instanceBare那个 客体attribute 实体 holdsDuring 若且唯若 不存在 另一个 客体 这样 那个 另外 客体服装instancecovers 那个 另外 客体 and 那个 客体那个 实体 holdsDuring
(<=>
    (and
        (instance ?COMBINE Combining)
        (resource ?COMBINE ?OBJ1)
        (result ?COMBINE ?OBJ2))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?COMBINE))
            (not
                (part ?OBJ1 ?OBJ2)))
        (holdsDuring
            (EndFn
                (WhenFn ?COMBINE))
            (part ?OBJ1 ?OBJ2))))
Merge.kif 12318-12325 过程结合instance 客体那个 过程resource另一个 客体那个 过程result 若且唯若 那个 客体 不 是 那个 另外 客体part那个 过程 出现 的 time 的开始 holdsDuring那个 客体那个 另外 客体part那个 过程 出现 的 time 的结束 holdsDuring
(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500 ?S))
    (instance ?LD Droplet))
Geography.kif 6905-6911 自身连接物体液体滴instance近似直径 那个 自身连接物体 and 实数 微米 和 500 是 lessThan 那个 实数 若且唯若 那个 自身连接物体小滴液体instance
(<=>
    (and
        (instance ?PERSON Human)
        (forall (?ORG)
            (not
                (employs ?ORG ?PERSON))))
    (attribute ?PERSON Unemployed))
Merge.kif 17552-17558 有认知的主事人类instance 和 对所有 施事体 那个 施事体 doesn't employs 那个 有认知的主事 若且唯若 Unemployed那个 有认知的主事attribute
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThan 10 ?S)
        (greaterThan ?S 2.5))
    (exists (?PM10)
        (and
            (instance ?PM10 CoarseParticulateMatter)
            (part ?PM10 ?PM))))
Geography.kif 6821-6832 客体悬浮颗粒instance 自身连接物体那个 客体part近似直径 那个 自身连接物体 and 实数 微米 和 10 是 greaterThan 那个 实数那个 实数greaterThan 2.5 若且唯若 有存在 那个 客体10 这样 那个 客体10 是 粗悬浮颗粒instance那个 客体10 是 那个 客体part
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThanOrEqualTo ?S 2.5))
    (exists (?PM25)
        (and
            (instance ?PM25 FineParticulateMatter)
            (part ?PM25 ?PM))))
Geography.kif 6850-6860 客体悬浮颗粒instance 自身连接物体那个 客体part近似直径 那个 自身连接物体 and 实数 微米那个 实数greaterThanOrEqualTo 2.5 若且唯若 有存在 那个 客体25 这样 那个 客体25 是 细悬浮颗粒instance那个 客体25 是 那个 客体part
(<=>
    (and
        (instance ?REL TotalValuedRelation)
        (instance ?REL Predicate))
    (exists (?VALENCE)
        (and
            (instance ?REL Relation)
            (valence ?REL ?VALENCE)
            (=>
                (forall (?NUMBER ?ELEMENT ?CLASS)
                    (=>
                        (and
                            (lessThan ?NUMBER ?VALENCE)
                            (domain ?REL ?NUMBER ?CLASS)
                            (equal ?ELEMENT
                                (ListOrderFn
                                    (ListFn @ROW) ?NUMBER)))
                        (instance ?ELEMENT ?CLASS)))
                (exists (?ITEM)
                    (?REL @ROW ?ITEM))))))
Merge.kif 2318-2335 关系总值关系instance那个 关系谓语instance 若且唯若 有存在 正整数 这样 那个 关系关系instance那个 关系 % 有 那个 正整数 Argument) 和
(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))
ComputerInput.kif 1447-1451 实体WindowScrollinginstance那个 实体UserSignifiedGraphicalActioninstance 若且唯若 那个 实体WindowScrollingByUserinstance
(<=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?AMOUNT
            (MeasureFn 1
                (SquareUnitFn ?UNIT))))
    (equal ?AMOUNT
        (MultiplicationFn
            (MeasureFn 1 ?UNIT)
            (MeasureFn 1 ?UNIT))))
Geography.kif 3748-3752 测量单位测量单位instance 物理量 equal 1 SquareUnitFn 那个 测量单位 若且唯若 那个 物理量 equal 1 那个 测量单位 和 1 那个 测量单位
(<=>
    (and
        (instance ?Withdrawal Withdrawal)
        (instance ?Account FinancialAccount)
        (origin ?Withdrawal
            (CurrencyFn ?Account))
        (not
            (exists (?Penalty)
                (and
                    (instance ?Penalty Penalty)
                    (destination ?Penalty
                        (CurrencyFn ?Account))
                    (causes ?Withdrawal ?Penalty)))))
    (liquidity ?Account HighLiquidity))
FinancialOntology.kif 1756-1766 过程Withdrawalinstance FinancialAccountFinancialAccountinstanceCurrencyFn 那个 FinancialAccount那个 过程 的源头 和 不存在 另一个 过程 这样 那个 另外 过程Penaltyinstance那个 另外 过程CurrencyFn 那个 FinancialAccount 结束 和 那个 过程 causes 那个 另外 过程 若且唯若 liquidity 那个 FinancialAccount and HighLiquidity
(<=>
    (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 KelvinDegreebarometricPressure 那个 客体 and 29.530 InchMercury那个 实体 holdsDuring
(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 22553-22558 PostalPlacelocated PostcodeArea那个 PostalPlacePostalPlaceinstance那个 PostcodeAreaPostcodeAreainstance 若且唯若 postPostcodeArea 那个 PostalPlace and 那个 PostcodeArea
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 22526-22531 PostalPlacelocated 城市那个 PostalPlacePostalPlaceinstance那个 城市城市instance 若且唯若 postCity 那个 PostalPlace and 那个 城市
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
Mid-level-ontology.kif 22439-22444 PostalPlacelocated Neighborhood那个 PostalPlacePostalPlaceinstance那个 NeighborhoodNeighborhoodinstance 若且唯若 postNeighborhood 那个 PostalPlace and 那个 Neighborhood
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22510-22515 PostalPlacelocated 州或省那个 PostalPlacePostalPlaceinstance那个 州或省州或省instance 若且唯若 postDistrict 那个 PostalPlace and 那个 州或省
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 22476-22483 PostalPlacelocated 地缘政治区域那个 PostalPlacePostalPlaceinstance那个 地缘政治区域国家instance那个 地缘政治区域DependencyOrSpecialSovereigntyAreainstance 若且唯若 postCountry 那个 PostalPlace and 那个 地缘政治区域
(<=>
    (and
        (time ?PHYS ?TIME)
        (instance ?TIME TimePoint))
    (temporallyBetweenOrEqual
        (BeginFn
            (WhenFn ?PHYS)) ?TIME
        (EndFn
            (WhenFn ?PHYS))))
Merge.kif 8369-8373 物理 时点 是 存在 和 那个 时点时点instance 若且唯若 那个 时点 是在或等于 那个 物理 出现 的 time 的开始 和 那个 物理 出现 的 time 的结束 between

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Corporation))
    (instance ?Account CorporateAccount))
FinancialOntology.kif 963-967 accountHolder FinancialAccount and 有认知的主事那个 有认知的主事法人财团instance 若且唯若 那个 FinancialAccountCorporateAccountinstance
(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))
FinancialOntology.kif 941-945 accountHolder FinancialAccount and 有认知的主事那个 有认知的主事人类instance 若且唯若 那个 FinancialAccountPersonalAccountinstance
(<=>
    (and
        (equal
            (AbsoluteValueFn ?NUMBER1) ?NUMBER2)
        (instance ?NUMBER1 RealNumber)
        (instance ?NUMBER2 RealNumber))
    (or
        (and
            (instance ?NUMBER1 NonnegativeRealNumber)
            (equal ?NUMBER1 ?NUMBER2))
        (and
            (instance ?NUMBER1 NegativeRealNumber)
            (equal ?NUMBER2
                (SubtractionFn 0 ?NUMBER1)))))
Merge.kif 4911-4922 实数 的绝对值 equal 非负实数那个 实数实数instance那个 非负实数实数instance 若且唯若 那个 实数非负实数instance那个 实数 equal 那个 非负实数那个 实数负实数instance那个 非负实数 equal (0 和 那个 实数)
(<=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))
Merge.kif 18649-18656 客体有感知的主事instanceLiving那个 客体attribute 若且唯若 有存在 实体 这样 那个 实体意识状态instance那个 实体那个 客体attribute
(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))
FinancialOntology.kif 952-956 FinancialAccountPersonalAccountinstance 有认知的主事 所描述的类别 instance 的数量 是 greaterThan 1 若且唯若 那个 FinancialAccountJointAccountinstance
(<=>
    (and
        (instance ?B BodyPart)
        (holdsDuring ?T
            (attribute ?B Bare)))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (covers ?C ?B))))))
Mid-level-ontology.kif 28252-28262 客体身体部位instanceBare那个 客体attribute 实体 holdsDuring 若且唯若 不存在 另一个 客体 这样 那个 另外 客体服装instancecovers 那个 另外 客体 and 那个 客体那个 实体 holdsDuring
(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500 ?S))
    (instance ?LD Droplet))
Geography.kif 6905-6911 自身连接物体液体滴instance近似直径 那个 自身连接物体 and 实数 微米 和 500 是 lessThan 那个 实数 若且唯若 那个 自身连接物体小滴液体instance
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThan 10 ?S)
        (greaterThan ?S 2.5))
    (exists (?PM10)
        (and
            (instance ?PM10 CoarseParticulateMatter)
            (part ?PM10 ?PM))))
Geography.kif 6821-6832 客体悬浮颗粒instance 自身连接物体那个 客体part近似直径 那个 自身连接物体 and 实数 微米 和 10 是 greaterThan 那个 实数那个 实数greaterThan 2.5 若且唯若 有存在 那个 客体10 这样 那个 客体10 是 粗悬浮颗粒instance那个 客体10 是 那个 客体part
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThanOrEqualTo ?S 2.5))
    (exists (?PM25)
        (and
            (instance ?PM25 FineParticulateMatter)
            (part ?PM25 ?PM))))
Geography.kif 6850-6860 客体悬浮颗粒instance 自身连接物体那个 客体part近似直径 那个 自身连接物体 and 实数 微米那个 实数greaterThanOrEqualTo 2.5 若且唯若 有存在 那个 客体25 这样 那个 客体25 是 细悬浮颗粒instance那个 客体25 是 那个 客体part
(<=>
    (and
        (instance ?REL TotalValuedRelation)
        (instance ?REL Predicate))
    (exists (?VALENCE)
        (and
            (instance ?REL Relation)
            (valence ?REL ?VALENCE)
            (=>
                (forall (?NUMBER ?ELEMENT ?CLASS)
                    (=>
                        (and
                            (lessThan ?NUMBER ?VALENCE)
                            (domain ?REL ?NUMBER ?CLASS)
                            (equal ?ELEMENT
                                (ListOrderFn
                                    (ListFn @ROW) ?NUMBER)))
                        (instance ?ELEMENT ?CLASS)))
                (exists (?ITEM)
                    (?REL @ROW ?ITEM))))))
Merge.kif 2318-2335 关系总值关系instance那个 关系谓语instance 若且唯若 有存在 正整数 这样 那个 关系关系instance那个 关系 % 有 那个 正整数 Argument) 和
(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))
ComputerInput.kif 1447-1451 实体WindowScrollinginstance那个 实体UserSignifiedGraphicalActioninstance 若且唯若 那个 实体WindowScrollingByUserinstance
(<=>
    (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualExpendituresOfArea ?AREA ?AMOUNT)))))
Economy.kif 1523-1528 annualExpendituresOfAreaInPeriod 地缘政治区域, 货币测量 and 有点 时距 若且唯若 有存在 实体 这样 那个 实体 有点 时距instanceannualExpendituresOfArea 那个 地缘政治区域 and 那个 货币测量那个 实体 holdsDuring
(<=>
    (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualRevenuesOfArea ?AREA ?AMOUNT)))))
Economy.kif 1494-1499 annualRevenuesOfAreaInPeriod 地缘政治区域, 货币测量 and 有点 时距 若且唯若 有存在 实体 这样 那个 实体 有点 时距instanceannualRevenuesOfArea 那个 地缘政治区域 and 那个 货币测量那个 实体 holdsDuring
(<=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 Hole)
            (part ?HOLE1 ?HOLE2))))
Merge.kif 9934-9939 Fillable 客体attribute 若且唯若 有存在 另一个 客体 这样 那个 另外 客体instance那个 客体那个 另外 客体part
(<=>
    (attribute ?MUSIC PolyphonicMusic)
    (exists (?PART1 ?PART2)
        (and
            (instance ?MUSIC MakingMusic)
            (instance ?PART1 MakingMusic)
            (instance ?PART2 MakingMusic)
            (subProcess ?PART1 ?MUSIC)
            (subProcess ?PART2 ?MUSIC)
            (not
                (equal ?PART1 ?PART2))
            (cooccur ?PART1 ?MUSIC)
            (cooccur ?PART2 ?MUSIC))))
Mid-level-ontology.kif 927-938 PolyphonicMusic 客体attribute 若且唯若 有存在 过程另一个 过程 这样 那个 客体制作音乐instance那个 过程制作音乐instance那个 另外 过程制作音乐instance那个 过程%n是那个 客体subProcess那个 另外 过程%n是那个 客体subProcess那个 过程equal 那个 另外 过程那个 过程那个 客体 同时发生 和 那个 另外 过程那个 客体 同时发生
(<=>
    (attribute ?WATER OpenSea)
    (forall (?LAND)
        (and
            (instance ?AREA SaltWaterArea)
            (not
                (instance ?WATER LandlockedWater))
            (distance ?LAND ?WATER ?DIST)
            (greaterThan ?DIST
                (MeasureFn 5 NauticalMile)))))
Geography.kif 4409-4416 OpenSea 客体attribute 若且唯若 对所有 物理 实体盐水区instance那个 客体 不 是 LandlockedWaterinstance那个 物理那个 客体distance 长度测量那个 长度测量greaterThan 5 NauticalMile
(<=>
    (bankAccount ?AccountType ?Bank)
    (exists (?Account)
        (and
            (instance ?Account ?AccountType)
            (accountAt ?Account ?Bank))))
FinancialOntology.kif 3779-3784 bankAccount 有点 FinancialAccount and Bank-FinancialOrganization 若且唯若 有存在 另一个 FinancialAccount 这样 那个 另外 FinancialAccount 有点 FinancialAccountinstanceaccountAt 那个 另外 FinancialAccount and 那个 Bank-FinancialOrganization
(<=>
    (capitalExpendituresOfAreaInPeriod ?AREA ?CAPAMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (capitalExpendituresOfArea ?AREA ?AMOUNT)))))
Economy.kif 1569-1574 capitalExpendituresOfAreaInPeriod 地缘政治区域, 货币测量 and 有点 时距 若且唯若 有存在 实体 这样 那个 实体 有点 时距instancecapitalExpendituresOfArea 那个 地缘政治区域 and 另一个 货币测量那个 实体 holdsDuring
(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))
Economy.kif 3664-3669 currencyExchangePerUSDollar 货币测量 and 有点 时距 若且唯若 有存在 实体 这样 那个 实体 有点 时距instancecurrencyExchangeRate UnitedStatesDollar and 那个 货币测量那个 实体 holdsDuring
(<=>
    (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate ?UNIT ?AMOUNT)))))
Economy.kif 3671-3676 currencyExchangeRateInPeriod UnitOfCurrency, 货币测量 and 有点 时距 若且唯若 有存在 实体 这样 那个 实体 有点 时距instancecurrencyExchangeRate 那个 UnitOfCurrency and 那个 货币测量那个 实体 holdsDuring
(<=>
    (customer ?AGENT1 ?AGENT2)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE FinancialTransaction)
            (agent ?SERVICE ?AGENT2)
            (destination ?SERVICE ?AGENT1))))
Mid-level-ontology.kif 7430-7436 customer 有认知的主事 and 另一个 有认知的主事 若且唯若 有存在 过程 这样 那个 过程金融交易instance那个 另外 有认知的主事那个 过程agent那个 过程那个 有认知的主事 结束
(<=>
    (customerRepresentative ?Person1 ?Person2 ?Org)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (employs ?Org ?Person1)
            (agent ?Service ?Person1)
            (destination ?Service ?Person2))))
FinancialOntology.kif 3527-3534 customerRepresentative 有认知的主事, 另一个 有认知的主事 and 机构 若且唯若 有存在 过程 这样 那个 过程金融交易instance那个 机构 employs 那个 有认知的主事那个 有认知的主事那个 过程agent那个 过程那个 另外 有认知的主事 结束
(<=>
    (economicAidDonatedInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (economicAidDonated ?COUNTRY ?AMOUNT)))))
Economy.kif 2822-2827 economicAidDonatedInPeriod 地缘政治区域, 货币测量 and 有点 时距 若且唯若 有存在 实体 这样 那个 实体 有点 时距instanceeconomicAidDonated 那个 地缘政治区域 and 那个 货币测量那个 实体 holdsDuring
(<=>
    (economicAidReceivedNetInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (economicAidReceivedNet ?COUNTRY ?AMOUNT)))))
Economy.kif 2862-2867 economicAidReceivedNetInPeriod 地缘政治区域, 货币测量 and 有点 时距 若且唯若 有存在 实体 这样 那个 实体 有点 时距instanceeconomicAidReceivedNet 那个 地缘政治区域 and 那个 货币测量那个 实体 holdsDuring
(<=>
    (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (electricityFractionFromSource ?AREA ?SOURCE ?FRACTION)))))
Economy.kif 2060-2065 electricityFractionFromSourceInPeriod 地缘政治区域, 有点 PowerGeneration, 实数 and 有点 时距 若且唯若 有存在 实体 这样 那个 实体 有点 时距instanceelectricityFractionFromSource 那个 地缘政治区域, 有点 PowerGeneration and 那个 实数那个 实体 holdsDuring

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(containsInformation
    (forall (?AGENT ?VOTER ?ELECTION ?VOTING)
        (=>
            (and
                (instance ?ELECTION
                    (ElectionFn ?AGENT))
                (instance ?VOTING
                    (VotingFn ?ELECTION))
                (agent ?VOTING ?VOTER))
            (attribute ?VOTER Male))) ExclusiveMaleSuffrage)
Government.kif 1202-1209 对所有 施事体另一个 施事体,, , Election, and 和 过程 contains ExclusiveMaleSuffrage 的资料
(containsInformation
    (forall (?COUNTRY ?ELECTION ?VOTING ?VOTER)
        (=>
            (and
                (instance ?COUNTRY Nation)
                (instance ?ELECTION
                    (ElectionFn ?COUNTRY))
                (instance ?VOTING
                    (VotingFn ?ELECTION))
                (agent ?VOTING ?VOTER))
            (citizen ?VOTER ?COUNTRY))) VoterCitizenshipRequirement)
Government.kif 916-924 对所有 国家 Election,, , 过程, and 和 人类 contains VoterCitizenshipRequirement 的资料
(containsInformation
    (forall (?POLITY ?AGENT ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?AGENT ?POLITY)
                (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
                (age ?AGENT ?AGE)
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (capability
                (VotingFn ?ELECTION) agent ?AGENT))) UniversalSuffrageLaw)
Government.kif 1069-1078 对所有 国家 人类,, , Election,, , 持续时间, and 和 另一个 持续时间 contains UniversalSuffrageLaw 的资料
(containsInformation
    (forall (?POLITY ?VOTER ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?VOTER ?POLITY)
                (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
                (age ?VOTER ?AGE)
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (exists (?VOTING)
                (and
                    (instance ?VOTING
                        (VotingFn ?ELECTION))
                    (agent ?VOTING ?VOTER))))) CompulsorySuffrageLaw)
Government.kif 1129-1141 对所有 国家 人类,, , Election,, , 持续时间, and 和 另一个 持续时间 contains CompulsorySuffrageLaw 的资料
(decreasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS)
        (instance ?SAMPLE ?SUBSTANCE)
        (instance ?THERAPY ?PROCESS)
        (experiencer ?THERAPY ?ORGANISM)
        (patient ?THERAPY ?SUBSTANCE))
    (attribute ?ORGANISM ?SYMPTOM))
WMD.kif 870-878 biochemicalAgentSyndrome 有点 BiochemicalAgent and 疾病或综合症biochemicalAgentAntidote 有点 BiochemicalAgent, 有点 生物活性物质 and 有点 过程 实体 有点 生物活性物质instance另一个 过程 有点 过程instance 施事体 经历了 那个 另外 过程那个 有点 生物活性物质那个 另外 过程patient 减少 那个 疾病或综合症那个 施事体attribute 发生的机率
(equal
    (AvailableForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))
Military.kif 867-876 AvailableForMilitaryServiceMaleFn 地缘政治区域 equal 生物 所描述的类别 instance 的数量
(equal
    (ChildrenBornPerWomanFn ?AREA
        (YearFn ?YEAR))
    (CardinalityFn
        (KappaFn ?INFANT
            (and
                (instance ?BIRTH Birth)
                (experiencer ?BIRTH ?INFANT)
                (agent ?BIRTH ?WOMAN)
                (instance ?WOMAN Human)
                (attribute ?WOMAN Female)
                (holdsDuring
                    (YearFn ?YEAR)
                    (inhabits ?WOMAN ?AREA))))))
People.kif 462-472 ChildrenBornPerWomanFn 地缘政治区域 and 整数 year equal 施事体 所描述的类别 instance 的数量
(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (instance ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))
Military.kif 890-901 FitForMilitaryServiceMaleFn 地缘政治区域 equal 生物 所描述的类别 instance 的数量
(equal
    (PopulationFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (inhabits ?PERSON ?AREA)))))
People.kif 49-54 PopulationFn 地缘政治区域 equal 生物 所描述的类别 instance 的数量
(equal
    (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (equal ?AGEMINUSONE
                    (SubtractionFn ?AGE 1))
                (holdsDuring ?YEAR
                    (or
                        (age ?PERSON ?AGEMINUSONE)
                        (age ?PERSON ?AGE)))
                (equal ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))
Military.kif 928-941 ReachingMilitaryAgeAnnuallyMaleFn 地缘政治区域 and equal 生物 所描述的类别 instance 的数量
(exists (?THING)
    (instance ?THING Entity))
Merge.kif 851-852 有存在 实体 这样 那个 实体实体instance
(exists (?TIME)
    (and
        (instance ?TIME TimeInterval)
        (finishes ?TIME
            (WhenFn JesusOfNazareth))
        (starts ?TIME
            (WhenFn TwelveApostles))
        (forall (?MEM)
            (=>
                (holdsDuring ?TIME
                    (member ?MEM TwelveApostles))
                (holdsDuring ?TIME
                    (friend ?MEM JesusOfNazareth))))))
Media.kif 1972-1980 有存在 时距 这样 那个 时距时距instance那个 时距 finishes了才到 JesusOfNazareth 出现 的 time那个 时距 starts了才到 TwelveApostles 出现 的 time 和 对所有 人类
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (instance Montenegro EuropeanNation))
Media.kif 2507-2508 MontenegroEuropeanNationinstance 在 3 day 之后 holdsDuring
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (instance Montenegro IndependentState))
Media.kif 2505-2506 MontenegroIndependentStateinstance 在 3 day 之后 holdsDuring
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (not
        (instance SerbiaAndMontenegro IndependentState)))
Media.kif 2519-2520 SerbiaAndMontenegro 不 是 IndependentStateinstance 在 3 day 之后 holdsDuring
(holdsDuring
    (FutureFn
        (DayFn 5
            (MonthFn June
                (YearFn 2006))))
    (instance Serbia EuropeanNation))
Media.kif 2492-2493 SerbiaEuropeanNationinstance 在 5 day 之后 holdsDuring
(holdsDuring
    (FutureFn
        (DayFn 5
            (MonthFn June
                (YearFn 2006))))
    (instance Serbia IndependentState))
Media.kif 2490-2491 SerbiaIndependentStateinstance 在 5 day 之后 holdsDuring
(increasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE)
        (instance ?PROCESS ?PROCESSTYPE)
        (experiencer ?PROCESS ?ORGANISM))
    (attribute ?ORGANISM ?SYMPTOM))
WMD.kif 761-767 biochemicalAgentSyndrome 有点 BiochemicalAgent and 疾病或综合症biochemicalAgentDelivery 有点 BiochemicalAgent and 有点 过程另一个 过程 有点 过程instance 施事体 经历了 那个 另外 过程 增加 那个 疾病或综合症那个 施事体attribute 发生的机率
(not
    (and
        (hasGUEState ?WINDOW GUE_NonVisibleState)
        (hasGUEState ?WINDOW GUE_ActiveState)
        (instance ?WINDOW InterfaceWindow)))
ComputerInput.kif 1648-1652 ~{ hasGUEState GUIElement and GUE_NonVisibleState } 或 ~{ hasGUEState 那个 GUIElement and GUE_ActiveState } 或 ~{ 那个 GUIElementInterfaceWindowinstance }
(not
    (and
        (instance ?CURSOR Cursor)
        (hasGUEState ?CURSOR GUE_SelectedState)))
ComputerInput.kif 1825-1828 ~{ GUIElementCursorinstance } 或 ~{ hasGUEState 那个 GUIElement and GUE_SelectedState }
(not
    (and
        (instance ?CURSOR MouseCursor)
        (hasGUEState ?CURSOR GUE_ActiveState)))
ComputerInput.kif 1593-1596 ~{ GUIElementMouseCursorinstance } 或 ~{ hasGUEState 那个 GUIElement and GUE_ActiveState }
(not
    (exists (?PATH1 ?PATH2)
        (and
            (instance ?PATH1
                (CutSetFn ?GRAPH))
            (instance ?PATH2
                (MinimalCutSetFn ?GRAPH))
            (pathLength ?PATH1 ?NUMBER1)
            (pathLength ?PATH2 ?NUMBER2)
            (lessThan ?NUMBER1 ?NUMBER2))))
Merge.kif 6217-6224 不存在 图路径另一个 图路径 这样 那个 图路径 是 把 分成另外两个图的路径 Setinstance那个 另外 图路径 是 把 那个 图 分成另外两个图的最短路径 Setinstance那个 图路径length 正整数那个 另外 图路径length另一个 正整数那个 正整数lessThan 那个 另外 正整数

appearance as argument number 0
-------------------------


(instance
    (CellPartFn ?VIR ?PARTTYPE) ?PARTTYPE)
VirusProteinAndCellPart.kif 591-591 CellPartFn 细胞 and 有点 CellPart 有点 CellPartinstance
(instance
    (ViralPartFn ?VIR ?PARTTYPE) ?PARTTYPE)
VirusProteinAndCellPart.kif 580-580 ViralPartFn 病毒 and 有点 VirusPart 有点 VirusPartinstance
(instance AAA-Rating FinancialRating) FinancialOntology.kif 2443-2443 AAA-RatingFinancialRatinginstance
(instance ABPFn UnaryFunction) UXExperimentalTerms.kif 3427-3427 ABPFn一元函数instance
(instance ABTest ExperimentAttribute) UXExperimentalTerms.kif 4612-4612 ABTestExperimentAttributeinstance
(instance APucikwarLanguage CentralGreatAndamaneseLanguage) Languages.kif 5379-5379 APucikwarLanguageCentralGreatAndamaneseLanguageinstance
(instance ASEANRegionalForum OrganizationOfNations) Government.kif 2811-2811 ASEANRegionalForumOrganizationOfNationsinstance
(instance ASPFn UnaryFunction) UXExperimentalTerms.kif 3470-3470 ASPFn一元函数instance
(instance AalandIslands Archipelago) Media.kif 2530-2530 AalandIslandsArchipelagoinstance
(instance AalandIslands DependencyOrSpecialSovereigntyArea) Media.kif 2531-2531 AalandIslandsDependencyOrSpecialSovereigntyAreainstance
(instance AariyaLanguage UnclassifiedSpokenLanguage) Languages.kif 3771-3771 AariyaLanguageUnclassifiedSpokenLanguageinstance
(instance Abbot ReligiousPosition) People.kif 1211-1211 AbbotReligiousPositioninstance
(instance AbinomnLanguage SpokenHumanLanguage) Languages.kif 2923-2923 AbinomnLanguageSpokenHumanLanguageinstance
(instance AbishiraLanguage UnclassifiedSpokenLanguage) Languages.kif 3777-3777 AbishiraLanguageUnclassifiedSpokenLanguageinstance
(instance AbkhazLanguage NorthCaucasianLanguage) Languages.kif 14542-14542 AbkhazLanguageNorthCaucasianLanguageinstance
(instance AbortedFn BinaryFunction) MilitaryProcesses.kif 2377-2377 AbortedFn二元函数instance
(instance AbortedLaunchFn BinaryFunction) MilitaryProcesses.kif 2443-2443 AbortedLaunchFn二元函数instance
(instance AbortedMissionFn BinaryFunction) MilitaryProcesses.kif 2397-2397 AbortedMissionFn二元函数instance
(instance Above AntiSymmetricPositionalAttribute) Merge.kif 17360-17360 AboveAntiSymmetricPositionalAttributeinstance
(instance Above PositionalAttribute) Merge.kif 17359-17359 Above位置属性instance
(instance AbsoluteValueFn TotalValuedRelation) Merge.kif 4903-4903 绝对值函数总值关系instance
(instance AbsoluteValueFn UnaryFunction) Merge.kif 4902-4902 绝对值函数一元函数instance
(instance AbunLanguage NorthBirdsHeadLanguage) Languages.kif 13705-13705 AbunLanguageNorthBirdsHeadLanguageinstance
(instance Acapella MusicGenre) Music.kif 521-521 AcapellaMusicGenreinstance
(instance AcatepecTlapanecoLanguage SubtiabaTlapanecLanguage) Languages.kif 13143-13143 AcatepecTlapanecoLanguageSubtiabaTlapanecLanguageinstance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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