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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - instance
instance

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


(documentation instance ChineseLanguage "如果一个物体属于一个 SetOrClass, 这物体就那个 SetOrClass 的一个instance。 一个个体可以是许多类别的一个 instance, 其中有一些可以是其他类别 的子类别,所以对于 instance 并没有假设任何具体或独特的含义。") Merge.kif 90-92
(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
(documentation instance JapaneseLanguage "オブジェクトがその SetOrClass に含まれている場合、 オブジェクトは SetOrClassinstance である。個々は多くのクラスSetOrClass instance である可能性があり、その一部は他のサブクラスである場合がある。したがって、特異性または一意性に関 する instance の意味の仮定はしない。") Merge.kif 94-97
(documentation instance SpanishLanguage "Un objeto es una instance de un SetOrClass si es incluido en el SetOrClass. Un individuo puede ser una instance de muchas clases, en algunas de las cuales pueden ser una subclase de otros. Desde este modo, no hay asunción en el significado de instance sobre especificidad o unicidad.") Merge.kif 99-102
(domain instance 1 Entity) Merge.kif 82-82 instance の数値 1 引数は エンティティーinstance では %n
(domain instance 2 SetOrClass) Merge.kif 83-83 instance の数値 2 引数は 同じセットまたはクラスinstance では %n
(instance instance BinaryPredicate) Merge.kif 81-81 instance2進述語instance では %n

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 433-433
(format JapaneseLanguage instance "%1 は %2 の instance では %n") english_format.kif 434-434
(relatedInternalConcept member instance) Merge.kif 2001-2001 memberinstanceinternally 関連して %n
(subrelation element instance) Merge.kif 7803-7803 elementinstancesubrelation では %n
(subrelation immediateInstance instance) Merge.kif 104-104 immediateInstanceinstancesubrelation では %n
(termFormat ChineseLanguage instance "例") domainEnglishFormat.kif 30151-30151 termFormat ChineseLanguage, instance and "例"
(termFormat ChineseLanguage instance "实例") chinese_format.kif 306-306 termFormat ChineseLanguage, instance and "实例"
(termFormat ChineseTraditionalLanguage instance "例") domainEnglishFormat.kif 30150-30150 termFormat ChineseTraditionalLanguage, instance and "例"
(termFormat EnglishLanguage instance "instance") domainEnglishFormat.kif 30149-30149 termFormat EnglishLanguage, instance and "instance"

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


(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Corporation))
    (instance ?Account CorporateAccount))
FinancialOntology.kif 963-967 accountHolder FinancialAccount and 認識エージェント 認識エージェント法人instance では %n FinancialAccountCorporateAccountinstance では %n
(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))
FinancialOntology.kif 941-945 accountHolder FinancialAccount and 認識エージェント 認識エージェント人[人間]instance では %n FinancialAccountPersonalAccountinstance では %n
(<=>
    (and
        (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY)
        (surface ?OBJ2 PlanetEarth)
        (instance ?AIRCRAFT Aircraft))
    (absoluteHeight ?AIRCRAFT ?QUANTITY))
MilitaryDevices.kif 1461-1466 Aircraftaltitude 自己接続オブジェクト では %n 自己接続オブジェクトPlanetEarthsurface では %n AircraftAircraftinstance では %n absoluteHeight Aircraft and AltitudeMeasure
(<=>
    (and
        (attribute ?INDIVIDUAL ?CH)
        (instance ?CH Christian))
    (member ?INDIVIDUAL Christianity))
People.kif 797-801 エンティティー オブジェクトattribute では %n エンティティーChristianinstance では %n オブジェクトChristianitymember では %n
(<=>
    (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 7065-7076 実数absolute value 非負実数equal では %n 実数実数instance では %n 非負実数実数instance では %n 実数非負実数instance では %n 実数 非負実数equal では %n 実数負の実数instance では %n 非負実数 は (0 + 実数) と equal では %n
(<=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))
Merge.kif 23073-23080 オブジェクト意識[知覚]を持つ代理(人)instance では %n Living オブジェクトattribute では %n エンティティー エンティティー意識属性instance では %n エンティティー オブジェクトattribute では %n
(<=>
    (and
        (instance ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))
FinancialOntology.kif 2252-2257 FinancialAccountFinancialAccountinstance では %n 認識エージェント FinancialAssetpossesses %n{ない} FinancialAccountAccountFn FinancialAssetequal では %n accountHolder FinancialAccount and 認識エージェント
(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))
FinancialOntology.kif 952-956 エンティティーPersonalAccountinstance では %n エンティティー classinstances の数 は 1 より greater では %n エンティティーJointAccountinstance では %n
(<=>
    (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 28333-28343 エンティティー体の部分instance では %n Bare エンティティーattribute では %n は 時間位置during holds %n{ない} エンティティー エンティティー衣類instance では %n covers エンティティー and エンティティー 時間位置during holds %n{ない}
(<=>
    (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 16742-16749 工程組み合わせinstance では %n オブジェクト 工程resource では %n エンティティー 工程result では %n オブジェクト エンティティーpart では は 工程time の existence の beginningduring holds %n{ない} オブジェクト エンティティーpart では %n は 工程time の existence の endduring holds %n{ない}
(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500 ?S))
    (instance ?LD Droplet))
Geography.kif 6874-6880 自己接続オブジェクトLiquidDropinstance では %n approximateDiameter 自己接続オブジェクト and 実数Micrometer(s) 500 は 実数 より less では %n 自己接続オブジェクトDropletinstance では %n
(<=>
    (and
        (instance ?PERSON Human)
        (forall (?ORG)
            (not
                (employs ?ORG ?PERSON))))
    (attribute ?PERSON Unemployed))
Merge.kif 21976-21982 認識エージェント人[人間]instance では %n 代理(人) 代理(人) 認識エージェントemploy ない Unemployed 認識エージェントattribute では %n
(<=>
    (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 6790-6801 オブジェクトParticulateMatterinstance では %n 自己接続オブジェクト オブジェクトpart では %n approximateDiameter 自己接続オブジェクト and 実数Micrometer(s) 10 は 実数 より greater では %n 実数 は 2.5 より greater では %n オブジェクト10 オブジェクト10 は CoarseParticulateMatterinstance では %n オブジェクト10 は オブジェクトpart では %n
(<=>
    (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 6819-6829 オブジェクトParticulateMatterinstance では %n 自己接続オブジェクト オブジェクトpart では %n approximateDiameter 自己接続オブジェクト and 実数Micrometer(s) 実数 は 2.5 greater では %n オブジェクト25 オブジェクト25 は FineParticulateMatterinstance では %n オブジェクト25 は オブジェクトpart では %n
(<=>
    (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 3588-3605 関係合計値関係instance では %n 関係述語instance では %n 正の整数 関係関係instance では %n 関係 正の整数argument(s) を %&has %n{ない}
(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))
ComputerInput.kif 1398-1402 エンティティーWindowScrollinginstance では %n エンティティーUserSignifiedGraphicalActioninstance では %n エンティティーWindowScrollingByUserinstance では %n
(<=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?AMOUNT
            (MeasureFn 1
                (SquareUnitFn ?UNIT))))
    (equal ?AMOUNT
        (MultiplicationFn
            (MeasureFn 1 ?UNIT)
            (MeasureFn 1 ?UNIT))))
Geography.kif 3748-3752 測定単位測定単位instance では %n 物理量 は 1 の SquareUnitFn 測定単位(s) と equal では %n 物理量 は 1 の 測定単位(s) + 1 の 測定単位(s) と equal では %n
(<=>
    (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 では %n FinancialAccountFinancialAccountinstance では %n 工程CurrencyFn FinancialAccount から originates %n{ない} 工程 工程Penaltyinstance では %n 工程CurrencyFn FinancialAccountends %n{ない} 工程 工程causes %n{ない} 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 では %n エンティティー には attribute StandardAmbientTemperaturePressure %n{ない} は 時間位置during holds %n{ない} airTemperature エンティティー and 298.15 の KelvinDegree(s) barometricPressure エンティティー and 29.530 の InchMercury(s) は 時間位置during holds %n{ない}
(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 22585-22590 PostalPlace PostcodeArealocated して %n PostalPlacePostalPlaceinstance では %n PostcodeAreaPostcodeAreainstance では %n postPostcodeArea PostalPlace and PostcodeArea
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 22558-22563 PostalPlace 都市located して %n PostalPlacePostalPlaceinstance では %n 都市都市instance では %n postCity PostalPlace and 都市
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
Mid-level-ontology.kif 22471-22476 PostalPlace Neighborhoodlocated して %n PostalPlacePostalPlaceinstance では %n NeighborhoodNeighborhoodinstance では %n postNeighborhood PostalPlace and Neighborhood
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22542-22547 PostalPlacelocated して %n PostalPlacePostalPlaceinstance では %n instance では %n postDistrict PostalPlace and
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 22508-22515 PostalPlace 地政学的地域located して %n PostalPlacePostalPlaceinstance では %n 地政学的地域国民instance では %n 地政学的地域DependencyOrSpecialSovereigntyAreainstance では %n postCountry PostalPlace and 地政学的地域
(<=>
    (and
        (time ?PHYS ?TIME)
        (instance ?TIME TimePoint))
    (temporallyBetweenOrEqual
        (BeginFn
            (WhenFn ?PHYS)) ?TIME
        (EndFn
            (WhenFn ?PHYS))))
Merge.kif 11738-11742 物理 時点during exists %n{ない} 時点時点instance では %n 時点 物理time の existence の beginning にも 物理time の existence の end にもその between にも %n

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 では %n FinancialAccountCorporateAccountinstance では %n
(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))
FinancialOntology.kif 941-945 accountHolder FinancialAccount and 認識エージェント 認識エージェント人[人間]instance では %n FinancialAccountPersonalAccountinstance では %n
(<=>
    (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 7065-7076 実数absolute value 非負実数equal では %n 実数実数instance では %n 非負実数実数instance では %n 実数非負実数instance では %n 実数 非負実数equal では %n 実数負の実数instance では %n 非負実数 は (0 + 実数) と equal では %n
(<=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))
Merge.kif 23073-23080 オブジェクト意識[知覚]を持つ代理(人)instance では %n Living オブジェクトattribute では %n エンティティー エンティティー意識属性instance では %n エンティティー オブジェクトattribute では %n
(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))
FinancialOntology.kif 952-956 エンティティーPersonalAccountinstance では %n エンティティー classinstances の数 は 1 より greater では %n エンティティーJointAccountinstance では %n
(<=>
    (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 28333-28343 エンティティー体の部分instance では %n Bare エンティティーattribute では %n は 時間位置during holds %n{ない} エンティティー エンティティー衣類instance では %n covers エンティティー and エンティティー 時間位置during holds %n{ない}
(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500 ?S))
    (instance ?LD Droplet))
Geography.kif 6874-6880 自己接続オブジェクトLiquidDropinstance では %n approximateDiameter 自己接続オブジェクト and 実数Micrometer(s) 500 は 実数 より less では %n 自己接続オブジェクトDropletinstance では %n
(<=>
    (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 6790-6801 オブジェクトParticulateMatterinstance では %n 自己接続オブジェクト オブジェクトpart では %n approximateDiameter 自己接続オブジェクト and 実数Micrometer(s) 10 は 実数 より greater では %n 実数 は 2.5 より greater では %n オブジェクト10 オブジェクト10 は CoarseParticulateMatterinstance では %n オブジェクト10 は オブジェクトpart では %n
(<=>
    (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 6819-6829 オブジェクトParticulateMatterinstance では %n 自己接続オブジェクト オブジェクトpart では %n approximateDiameter 自己接続オブジェクト and 実数Micrometer(s) 実数 は 2.5 greater では %n オブジェクト25 オブジェクト25 は FineParticulateMatterinstance では %n オブジェクト25 は オブジェクトpart では %n
(<=>
    (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 3588-3605 関係合計値関係instance では %n 関係述語instance では %n 正の整数 関係関係instance では %n 関係 正の整数argument(s) を %&has %n{ない}
(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))
ComputerInput.kif 1398-1402 エンティティーWindowScrollinginstance では %n エンティティーUserSignifiedGraphicalActioninstance では %n エンティティーWindowScrollingByUserinstance では %n
(<=>
    (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualExpendituresOfArea ?AREA ?AMOUNT)))))
Economy.kif 1523-1528 annualExpendituresOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 時間間隔instance では %n annualExpendituresOfArea 地政学的地域 and 通貨測定 時間位置during holds %n{ない}
(<=>
    (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualRevenuesOfArea ?AREA ?AMOUNT)))))
Economy.kif 1494-1499 annualRevenuesOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 時間間隔instance では %n annualRevenuesOfArea 地政学的地域 and 通貨測定 時間位置during holds %n{ない}
(<=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 Hole)
            (part ?HOLE1 ?HOLE2))))
Merge.kif 13753-13758 Fillable オブジェクトattribute では %n オブジェクト オブジェクトホールinstance では %n オブジェクト オブジェクトpart では %n
(<=>
    (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 では %n 工程 工程 オブジェクトMakingMusicinstance では %n 工程MakingMusicinstance では %n 工程MakingMusicinstance では %n 工程 オブジェクト% の subprocess では %n 工程 オブジェクト% の subprocess では %n 工程 工程equal では 工程 オブジェクト と同時に occurs %n{ない} 工程 オブジェクト と同時に occurs %n{ない}
(<=>
    (attribute ?WATER OpenSea)
    (forall (?LAND)
        (and
            (instance ?AREA SaltWaterArea)
            (not
                (instance ?WATER LandlockedWater))
            (distance ?LAND ?WATER ?DIST)
            (greaterThan ?DIST
                (MeasureFn 5 NauticalMile)))))
Geography.kif 4408-4415 OpenSea オブジェクトattribute では %n 物理 エンティティー塩水地域instance では %n オブジェクトLandlockedWaterinstance では 物理 オブジェクトdistance 長さ測定 では %n 長さ測定 は 5 の NauticalMile(s) より greater では %n
(<=>
    (bankAccount ?AccountType ?Bank)
    (exists (?Account)
        (and
            (instance ?Account ?AccountType)
            (accountAt ?Account ?Bank))))
FinancialOntology.kif 3779-3784 bankAccount FinancialAccount and Bank-FinancialOrganization FinancialAccount FinancialAccount FinancialAccountinstance では %n accountAt 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 時間間隔 時間位置 時間位置 時間間隔instance では %n capitalExpendituresOfArea 地政学的地域 and エンティティー 時間位置during holds %n{ない}
(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))
Economy.kif 3664-3669 currencyExchangePerUSDollar 通貨測定 and 時間間隔 時間位置 時間位置 時間間隔instance では %n currencyExchangeRate UnitedStatesDollar and 通貨測定 時間位置during holds %n{ない}
(<=>
    (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate ?UNIT ?AMOUNT)))))
Economy.kif 3671-3676 currencyExchangeRateInPeriod UnitOfCurrency, 通貨測定 and 時間間隔 時間位置 時間位置 時間間隔instance では %n currencyExchangeRate UnitOfCurrency and 通貨測定 時間位置during holds %n{ない}
(<=>
    (customer ?AGENT1 ?AGENT2)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE FinancialTransaction)
            (agent ?SERVICE ?AGENT2)
            (destination ?SERVICE ?AGENT1))))
Mid-level-ontology.kif 7431-7437 customer 認識エージェント and 認識エージェント 工程 工程金融取引instance では %n 認識エージェント 工程agent では %n 工程 認識エージェントends %n{ない}
(<=>
    (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 では %n 組織 認識エージェントemploys %n{ない} 認識エージェント 工程agent では %n 工程 認識エージェントends %n{ない}
(<=>
    (economicAidDonatedInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (economicAidDonated ?COUNTRY ?AMOUNT)))))
Economy.kif 2822-2827 economicAidDonatedInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 時間間隔instance では %n economicAidDonated 地政学的地域 and 通貨測定 時間位置during holds %n{ない}
(<=>
    (economicAidReceivedNetInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (economicAidReceivedNet ?COUNTRY ?AMOUNT)))))
Economy.kif 2862-2867 economicAidReceivedNetInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 時間位置 時間間隔instance では %n economicAidReceivedNet 地政学的地域 and 通貨測定 時間位置during holds %n{ない}
(<=>
    (electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (electricityFractionFromSource ?AREA ?SOURCE ?FRACTION)))))
Economy.kif 2060-2065 electricityFractionFromSourceInPeriod 地政学的地域, PowerGeneration, 実数 and 時間間隔 時間位置 時間位置 時間間隔instance では %n electricityFractionFromSource 地政学的地域, PowerGeneration and 実数 時間位置during holds %n{ない}

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 ?AGENT ?VOTER, ?ELECTION and ?VOTING ExclusiveMaleSuffrage の情報を contains %n{ない}
(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 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER VoterCitizenshipRequirement の情報を contains %n{ない}
(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 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE UniversalSuffrageLaw の情報を contains %n{ない}
(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 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE CompulsorySuffrageLaw の情報を contains %n{ない}
(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 ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE は ?SUBSTANCE の instance では %n ?THERAPY は ?PROCESS の instance では %n ?ORGANISM が ?THERAPY を experiences %n{ない} ?SUBSTANCE は ?THERAPY の patient では %n は ?SYMPTOM は ?ORGANISM の attribute では %n を decreases 可能性がある
(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 地政学的地域 エンティティー classinstances の数 と equal では %n
(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 目 は エンティティー classinstances の数 と equal では %n
(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 地政学的地域 エンティティー classinstances の数 と equal では %n
(equal
    (PopulationFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (inhabits ?PERSON ?AREA)))))
People.kif 49-54 PopulationFn 地政学的地域 エンティティー classinstances の数 と equal では %n
(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 エンティティー classinstances の数 と equal では %n
(exists (?THING)
    (instance ?THING Entity))
Merge.kif 1219-1220 エンティティー エンティティーエンティティーinstance では %n
(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 では %n 時間間隔JesusOfNazarethtime の existence を finishes %n{ない} 時間間隔TwelveApostlestime の existence を starts %n{ない} エンティティー
(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D Downloading)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))
ComputingBrands.kif 3139-3145 IBookstore は ?D ?D は Downloadinginstance では %n iBookstore は ?D の instrument では %n ?T は テキストinstance では %n objectTransferred ?D and ?T の 目的 %n{ない}
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (instance Montenegro EuropeanNation))
Media.kif 2507-2508 MontenegroEuropeanNationinstance では %n は 3 day 目 の afterduring holds %n{ない}
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (instance Montenegro IndependentState))
Media.kif 2505-2506 MontenegroIndependentStateinstance では %n は 3 day 目 の afterduring holds %n{ない}
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (not
        (instance SerbiaAndMontenegro IndependentState)))
Media.kif 2519-2520 SerbiaAndMontenegroIndependentStateinstance では は 3 day 目 の afterduring holds %n{ない}
(holdsDuring
    (FutureFn
        (DayFn 5
            (MonthFn June
                (YearFn 2006))))
    (instance Serbia EuropeanNation))
Media.kif 2492-2493 SerbiaEuropeanNationinstance では %n は 5 day 目 の afterduring holds %n{ない}
(holdsDuring
    (FutureFn
        (DayFn 5
            (MonthFn June
                (YearFn 2006))))
    (instance Serbia IndependentState))
Media.kif 2490-2491 SerbiaIndependentStateinstance では %n は 5 day 目 の afterduring holds %n{ない}
(increasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE)
        (instance ?PROCESS ?PROCESSTYPE)
        (experiencer ?PROCESS ?ORGANISM))
    (attribute ?ORGANISM ?SYMPTOM))
WMD.kif 761-767 biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE ?PROCESS は ?PROCESSTYPE の instance では %n ?ORGANISM が ?PROCESS を experiences %n{ない} は ?SYMPTOM は ?ORGANISM の attribute では %n の 可能性を increases %n{ない}
(not
    (and
        (hasGUEState ?WINDOW GUE_NonVisibleState)
        (hasGUEState ?WINDOW GUE_ActiveState)
        (instance ?WINDOW InterfaceWindow)))
ComputerInput.kif 1599-1603 ~{ hasGUEState GUIElement and GUE_NonVisibleState } ~{ hasGUEState GUIElement and GUE_ActiveState } ~{ GUIElementInterfaceWindowinstance では %n }
(not
    (and
        (instance ?CURSOR Cursor)
        (hasGUEState ?CURSOR GUE_SelectedState)))
ComputerInput.kif 1776-1779 ~{ GUIElementCursorinstance では %n } ~{ hasGUEState GUIElement and GUE_SelectedState }
(not
    (and
        (instance ?CURSOR MouseCursor)
        (hasGUEState ?CURSOR GUE_ActiveState)))
ComputerInput.kif 1544-1547 ~{ GUIElementMouseCursorinstance では %n } ~{ 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 8751-8758 グラフパス グラフパス グラフパス グラフ を2つの別々のグラフに分割するパスの setinstance では %n グラフパス グラフ を2つの別々のグラフに分割する最小パスの setinstance では %n グラフパスlength 正の整数 では %n グラフパスlength 正の整数 では %n 正の整数 正の整数 より less では %n

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


(instance
    (CellPartFn ?VIR ?PARTTYPE) ?PARTTYPE)
VirusProteinAndCellPart.kif 591-591 CellPartFn 細胞 and CellPart CellPartinstance では %n
(instance
    (ViralPartFn ?VIR ?PARTTYPE) ?PARTTYPE)
VirusProteinAndCellPart.kif 580-580 ViralPartFn ウイルス and VirusPart VirusPartinstance では %n
(instance AAA-Rating FinancialRating) FinancialOntology.kif 2443-2443 AAA-RatingFinancialRatinginstance では %n
(instance ABPFn UnaryFunction) UXExperimentalTerms.kif 3427-3427 ABPFn1変数関数instance では %n
(instance ABTest ExperimentAttribute) UXExperimentalTerms.kif 4612-4612 ABTestExperimentAttributeinstance では %n
(instance APucikwarLanguage CentralGreatAndamaneseLanguage) Languages.kif 5379-5379 APucikwarLanguageCentralGreatAndamaneseLanguageinstance では %n
(instance ASEANRegionalForum OrganizationOfNations) Government.kif 2811-2811 ASEANRegionalForumOrganizationOfNationsinstance では %n
(instance ASPFn UnaryFunction) UXExperimentalTerms.kif 3470-3470 ASPFn1変数関数instance では %n
(instance ATandTCorp Corporation) ComputingBrands.kif 1943-1943 ATandTCorp法人instance では %n
(instance AalandIslands Archipelago) Media.kif 2530-2530 AalandIslandsArchipelagoinstance では %n
(instance AalandIslands DependencyOrSpecialSovereigntyArea) Media.kif 2531-2531 AalandIslandsDependencyOrSpecialSovereigntyAreainstance では %n
(instance AariyaLanguage UnclassifiedSpokenLanguage) Languages.kif 3771-3771 AariyaLanguageUnclassifiedSpokenLanguageinstance では %n
(instance Abbot ReligiousPosition) People.kif 1211-1211 AbbotReligiousPositioninstance では %n
(instance AbinomnLanguage SpokenHumanLanguage) Languages.kif 2923-2923 AbinomnLanguageSpokenHumanLanguageinstance では %n
(instance AbishiraLanguage UnclassifiedSpokenLanguage) Languages.kif 3777-3777 AbishiraLanguageUnclassifiedSpokenLanguageinstance では %n
(instance AbkhazLanguage NorthCaucasianLanguage) Languages.kif 14542-14542 AbkhazLanguageNorthCaucasianLanguageinstance では %n
(instance AbortedFn BinaryFunction) MilitaryProcesses.kif 2377-2377 AbortedFn2変数関数instance では %n
(instance AbortedLaunchFn BinaryFunction) MilitaryProcesses.kif 2443-2443 AbortedLaunchFn2変数関数instance では %n
(instance AbortedMissionFn BinaryFunction) MilitaryProcesses.kif 2397-2397 AbortedMissionFn2変数関数instance では %n
(instance Above AntiSymmetricPositionalAttribute) Merge.kif 21784-21784 AboveAntiSymmetricPositionalAttributeinstance では %n
(instance Above PositionalAttribute) Merge.kif 21783-21783 Above位置属性instance では %n
(instance AbsoluteValueFn TotalValuedRelation) Merge.kif 7052-7052 AbsoluteValueFn合計値関係instance では %n
(instance AbsoluteValueFn UnaryFunction) Merge.kif 7051-7051 AbsoluteValueFn1変数関数instance では %n
(instance AbunLanguage NorthBirdsHeadLanguage) Languages.kif 13705-13705 AbunLanguageNorthBirdsHeadLanguageinstance では %n
(instance Acapella MusicGenre) Music.kif 521-521 AcapellaMusicGenreinstance では %n

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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