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 に含まれている場合、 オブジェクトは SetOrClass の instance である。個々は多くのクラス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 instance は 2進述語 の 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 member は instance に internally 関連して %n
(subrelation element instance) Merge.kif 7803-7803 element は instance の subrelation では %n
(subrelation immediateInstance instance) Merge.kif 104-104 immediateInstance は instance の subrelation では %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 FinancialAccount は CorporateAccount の instance では %n
(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))		 FinancialOntology.kif 941-945 accountHolder FinancialAccount and 認識エージェント 認識エージェント は 人［人間］ の instance では %n FinancialAccount は PersonalAccount の instance では %n
(<=>
    (and
        (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY)
        (surface ?OBJ2 PlanetEarth)
        (instance ?AIRCRAFT Aircraft))
    (absoluteHeight ?AIRCRAFT ?QUANTITY))		 MilitaryDevices.kif 1461-1466 Aircraft の altitude は 自己接続オブジェクト では %n 自己接続オブジェクト は PlanetEarth の surface では %n Aircraft は Aircraft の instance では %n absoluteHeight Aircraft and AltitudeMeasure
(<=>
    (and
        (attribute ?INDIVIDUAL ?CH)
        (instance ?CH Christian))
    (member ?INDIVIDUAL Christianity))		 People.kif 797-801 エンティティー は オブジェクト の attribute では %n エンティティー は Christian の instance では %n オブジェクト は Christianity の member では %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 FinancialAccount は FinancialAccount の instance では %n 認識エージェント は FinancialAsset を possesses %n{ない} FinancialAccount は AccountFn FinancialAsset と equal では %n accountHolder FinancialAccount and 認識エージェント
(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))		 FinancialOntology.kif 952-956 エンティティー は PersonalAccount の instance では %n エンティティー class の instances の数 は 1 より greater では　%n エンティティー は JointAccount の instance では %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 の beginning の during holds %n{ない} オブジェクト は エンティティー の part では %n は 工程 の time の existence の end の during holds %n{ない}
(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500 ?S))
    (instance ?LD Droplet))		 Geography.kif 6874-6880 自己接続オブジェクト は LiquidDrop の instance では %n approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 500 は 実数 より less では %n 自己接続オブジェクト は Droplet の instance では %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 オブジェクト は ParticulateMatter の instance では %n 自己接続オブジェクト は オブジェクト の part では %n approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 10 は 実数 より greater では　%n 実数 は 2.5 より greater では　%n オブジェクト10 オブジェクト10 は CoarseParticulateMatter の instance では %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 オブジェクト は ParticulateMatter の instance では %n 自己接続オブジェクト は オブジェクト の part では %n approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 実数 は 2.5 greater では　%n オブジェクト25 オブジェクト25 は FineParticulateMatter の instance では %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 エンティティー は WindowScrolling の instance では %n エンティティー は UserSignifiedGraphicalAction の instance では %n エンティティー は WindowScrollingByUser の instance では %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 工程 は Withdrawal の instance では %n FinancialAccount は FinancialAccount の instance では %n 工程 は CurrencyFn FinancialAccount から originates %n{ない} 工程 工程 は Penalty の instance では %n 工程 は CurrencyFn FinancialAccount に ends %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 は PostcodeArea に located して %n PostalPlace は PostalPlace の instance では %n PostcodeArea は PostcodeArea の instance では %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 PostalPlace は PostalPlace の instance では %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 は Neighborhood に located して %n PostalPlace は PostalPlace の instance では %n Neighborhood は Neighborhood の instance では %n postNeighborhood PostalPlace and Neighborhood
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 22542-22547 PostalPlace は 州 に located して %n PostalPlace は PostalPlace の instance では %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 PostalPlace は PostalPlace の instance では %n 地政学的地域 は 国民 の instance では %n 地政学的地域 は DependencyOrSpecialSovereigntyArea の instance では %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 FinancialAccount は CorporateAccount の instance では %n
(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))		 FinancialOntology.kif 941-945 accountHolder FinancialAccount and 認識エージェント 認識エージェント は 人［人間］ の instance では %n FinancialAccount は PersonalAccount の instance では %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 エンティティー は PersonalAccount の instance では %n エンティティー class の instances の数 は 1 より greater では　%n エンティティー は JointAccount の instance では %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 自己接続オブジェクト は LiquidDrop の instance では %n approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 500 は 実数 より less では %n 自己接続オブジェクト は Droplet の instance では %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 オブジェクト は ParticulateMatter の instance では %n 自己接続オブジェクト は オブジェクト の part では %n approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 10 は 実数 より greater では　%n 実数 は 2.5 より greater では　%n オブジェクト10 オブジェクト10 は CoarseParticulateMatter の instance では %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 オブジェクト は ParticulateMatter の instance では %n 自己接続オブジェクト は オブジェクト の part では %n approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 実数 は 2.5 greater では　%n オブジェクト25 オブジェクト25 は FineParticulateMatter の instance では %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 エンティティー は WindowScrolling の instance では %n エンティティー は UserSignifiedGraphicalAction の instance では %n エンティティー は WindowScrollingByUser の instance では %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 工程 工程 オブジェクト は MakingMusic の instance では %n 工程 は MakingMusic の instance では %n 工程 は MakingMusic の instance では %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 オブジェクト は LandlockedWater の instance では 物理 と オブジェクト の 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 は FinancialAccount の instance では %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 地政学的地域 は エンティティー class の instances の数 と 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 目 は エンティティー class の instances の数 と 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 地政学的地域 は エンティティー class の instances の数 と equal では %n
(equal
    (PopulationFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (inhabits ?PERSON ?AREA)))))		 People.kif 49-54 PopulationFn 地政学的地域 は エンティティー class の instances の数 と 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 年 は エンティティー class の instances の数 と 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 時間間隔 は JesusOfNazareth の time の existence を finishes %n{ない} 時間間隔 は TwelveApostles の time の 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 は Downloading の instance では %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 Montenegro は EuropeanNation の instance では %n は 3 day 目 の after の during holds %n{ない}
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (instance Montenegro IndependentState))		 Media.kif 2505-2506 Montenegro は IndependentState の instance では %n は 3 day 目 の after の during holds %n{ない}
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (not
        (instance SerbiaAndMontenegro IndependentState)))		 Media.kif 2519-2520 SerbiaAndMontenegro は IndependentState の instance では は 3 day 目 の after の during holds %n{ない}
(holdsDuring
    (FutureFn
        (DayFn 5
            (MonthFn June
                (YearFn 2006))))
    (instance Serbia EuropeanNation))		 Media.kif 2492-2493 Serbia は EuropeanNation の instance では %n は 5 day 目 の after の during holds %n{ない}
(holdsDuring
    (FutureFn
        (DayFn 5
            (MonthFn June
                (YearFn 2006))))
    (instance Serbia IndependentState))		 Media.kif 2490-2491 Serbia は IndependentState の instance では %n は 5 day 目 の after の during 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 } ~{ GUIElement は InterfaceWindow の instance では %n }
(not
    (and
        (instance ?CURSOR Cursor)
        (hasGUEState ?CURSOR GUE_SelectedState)))		 ComputerInput.kif 1776-1779 ~{ GUIElement は Cursor の instance では %n } ~{ hasGUEState GUIElement and GUE_SelectedState }
(not
    (and
        (instance ?CURSOR MouseCursor)
        (hasGUEState ?CURSOR GUE_ActiveState)))		 ComputerInput.kif 1544-1547 ~{ GUIElement は MouseCursor の instance では %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つの別々のグラフに分割するパスの set の instance では %n グラフパス は グラフ を2つの別々のグラフに分割する最小パスの set の instance では %n グラフパス の length は 正の整数 では %n グラフパス の length は 正の整数 では %n 正の整数 は 正の整数 より less では %n

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


(instance
    (CellPartFn ?VIR ?PARTTYPE) ?PARTTYPE)		 VirusProteinAndCellPart.kif 591-591 CellPartFn 細胞 and CellPart は CellPart の instance では %n
(instance
    (ViralPartFn ?VIR ?PARTTYPE) ?PARTTYPE)		 VirusProteinAndCellPart.kif 580-580 ViralPartFn ウイルス and VirusPart は VirusPart の instance では %n
(instance AAA-Rating FinancialRating) FinancialOntology.kif 2443-2443 AAA-Rating は FinancialRating の instance では %n
(instance ABPFn UnaryFunction) UXExperimentalTerms.kif 3427-3427 ABPFn は 1変数関数 の instance では %n
(instance ABTest ExperimentAttribute) UXExperimentalTerms.kif 4612-4612 ABTest は ExperimentAttribute の instance では %n
(instance APucikwarLanguage CentralGreatAndamaneseLanguage) Languages.kif 5379-5379 APucikwarLanguage は CentralGreatAndamaneseLanguage の instance では %n
(instance ASEANRegionalForum OrganizationOfNations) Government.kif 2811-2811 ASEANRegionalForum は OrganizationOfNations の instance では %n
(instance ASPFn UnaryFunction) UXExperimentalTerms.kif 3470-3470 ASPFn は 1変数関数 の instance では %n
(instance ATandTCorp Corporation) ComputingBrands.kif 1943-1943 ATandTCorp は 法人 の instance では %n
(instance AalandIslands Archipelago) Media.kif 2530-2530 AalandIslands は Archipelago の instance では %n
(instance AalandIslands DependencyOrSpecialSovereigntyArea) Media.kif 2531-2531 AalandIslands は DependencyOrSpecialSovereigntyArea の instance では %n
(instance AariyaLanguage UnclassifiedSpokenLanguage) Languages.kif 3771-3771 AariyaLanguage は UnclassifiedSpokenLanguage の instance では %n
(instance Abbot ReligiousPosition) People.kif 1211-1211 Abbot は ReligiousPosition の instance では %n
(instance AbinomnLanguage SpokenHumanLanguage) Languages.kif 2923-2923 AbinomnLanguage は SpokenHumanLanguage の instance では %n
(instance AbishiraLanguage UnclassifiedSpokenLanguage) Languages.kif 3777-3777 AbishiraLanguage は UnclassifiedSpokenLanguage の instance では %n
(instance AbkhazLanguage NorthCaucasianLanguage) Languages.kif 14542-14542 AbkhazLanguage は NorthCaucasianLanguage の instance では %n
(instance AbortedFn BinaryFunction) MilitaryProcesses.kif 2377-2377 AbortedFn は 2変数関数 の instance では %n
(instance AbortedLaunchFn BinaryFunction) MilitaryProcesses.kif 2443-2443 AbortedLaunchFn は 2変数関数 の instance では %n
(instance AbortedMissionFn BinaryFunction) MilitaryProcesses.kif 2397-2397 AbortedMissionFn は 2変数関数 の instance では %n
(instance Above AntiSymmetricPositionalAttribute) Merge.kif 21784-21784 Above は AntiSymmetricPositionalAttribute の instance では %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 AbsoluteValueFn は 1変数関数 の instance では %n
(instance AbunLanguage NorthBirdsHeadLanguage) Languages.kif 13705-13705 AbunLanguage は NorthBirdsHeadLanguage の instance では %n
(instance Acapella MusicGenre) Music.kif 521-521 Acapella は MusicGenre の instance では %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