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 domain instance, 1 and エンティティー
(domain instance 2 SetOrClass) Merge.kif 83-83 domain instance, 2 and 同じセットまたはクラス
(instance instance BinaryPredicate) Merge.kif 81-81 instance instance and 2進述語

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
(relatedInternalConcept member instance) Merge.kif 1315-1315 relatedInternalConcept member and instance
(subrelation element instance) Merge.kif 5506-5506 subrelation element and instance
(subrelation immediateInstance instance) Merge.kif 93-93 subrelation immediateInstance and instance
(termFormat ChineseLanguage instance "实例") chinese_format.kif 306-306 termFormat ChineseLanguage, instance and "实例"
(termFormat EnglishLanguage instance "instance") domainEnglishFormat.kif 5458-5458 termFormat EnglishLanguage, instance and "instance"

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


(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Corporation))
    (instance ?Account CorporateAccount))
FinancialOntology.kif 963-967 accountHolder FinancialAccount and 認識エージェント instance 認識エージェント and 法人 instance FinancialAccount and CorporateAccount
(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))
FinancialOntology.kif 941-945 accountHolder FinancialAccount and 認識エージェント instance 認識エージェント and 人[人間] instance FinancialAccount and PersonalAccount
(<=>
    (and
        (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY)
        (surface ?OBJ2 PlanetEarth)
        (instance ?AIRCRAFT Aircraft))
    (absoluteHeight ?AIRCRAFT ?QUANTITY))
MilitaryDevices.kif 1461-1466 altitude Aircraft, 自己接続オブジェクト and AltitudeMeasure surface 自己接続オブジェクト and PlanetEarth instance Aircraft and Aircraft absoluteHeight Aircraft and AltitudeMeasure
(<=>
    (and
        (attribute ?INDIVIDUAL ?CH)
        (instance ?CH Christian))
    (member ?INDIVIDUAL Christianity))
People.kif 797-801 attribute オブジェクト and エンティティー instance エンティティー and Christian member オブジェクト and Christianity
(<=>
    (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 4924-4935 equal AbsoluteValueFn 実数 and 非負実数 instance 実数 and 実数 instance 非負実数 and 実数 instance 実数 and 非負実数 equal 実数 and 非負実数 instance 実数 and 負の実数 equal 非負実数 and SubtractionFn 0 and 実数
(<=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))
Merge.kif 18701-18708 instance オブジェクト and 意識[知覚]を持つ代理(人) attribute オブジェクト and Living エンティティー instance エンティティー and 意識属性 attribute オブジェクト and エンティティー
(<=>
    (and
        (instance ?Account FinancialAccount)
        (possesses ?Agent ?Asset)
        (equal ?Account
            (AccountFn ?Asset)))
    (accountHolder ?Account ?Agent))
FinancialOntology.kif 2252-2257 instance FinancialAccount and FinancialAccount possesses 認識エージェント and FinancialAsset equal FinancialAccount and AccountFn FinancialAsset accountHolder FinancialAccount and 認識エージェント
(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))
FinancialOntology.kif 952-956 instance エンティティー and PersonalAccount greaterThan CardinalityFn KappaFn 記号文字列 and accountHolder エンティティー and 記号文字列 and 1 instance エンティティー and JointAccount
(<=>
    (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 28332-28342 instance エンティティー and 体の部分 holdsDuring 時間位置 and attribute エンティティー and Bare holdsDuring 時間位置 and エンティティー instance エンティティー and 衣類 covers エンティティー and エンティティー
(<=>
    (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 12376-12383 instance 工程 and 組み合わせ resource 工程 and オブジェクト result 工程 and エンティティー holdsDuring BeginFn WhenFn 工程 and part オブジェクト and エンティティー holdsDuring EndFn WhenFn 工程 and part オブジェクト and エンティティー
(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500 ?S))
    (instance ?LD Droplet))
Geography.kif 6874-6880 instance 自己接続オブジェクト and LiquidDrop approximateDiameter 自己接続オブジェクト and MeasureFn 実数 and Micrometer lessThan 500 and 実数 instance 自己接続オブジェクト and Droplet
(<=>
    (and
        (instance ?PERSON Human)
        (forall (?ORG)
            (not
                (employs ?ORG ?PERSON))))
    (attribute ?PERSON Unemployed))
Merge.kif 17604-17610 instance 認識エージェント and 人[人間] 代理(人) employs 代理(人) and 認識エージェント attribute 認識エージェント and Unemployed
(<=>
    (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 instance オブジェクト and ParticulateMatter part 自己接続オブジェクト and オブジェクト approximateDiameter 自己接続オブジェクト and MeasureFn 実数 and Micrometer greaterThan 10 and 実数 greaterThan 実数 and 2.5 オブジェクト0 instance オブジェクト0 and CoarseParticulateMatter part オブジェクト0 and オブジェクト
(<=>
    (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 instance オブジェクト and ParticulateMatter part 自己接続オブジェクト and オブジェクト approximateDiameter 自己接続オブジェクト and MeasureFn 実数 and Micrometer greaterThanOrEqualTo 実数 and 2.5 オブジェクト5 instance オブジェクト5 and FineParticulateMatter part オブジェクト5 and オブジェクト
(<=>
    (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 2331-2348 instance 関係 and 合計値関係 instance 関係 and 述語 正の整数 instance 関係 and 関係 valence 関係 and 正の整数
(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))
ComputerInput.kif 1398-1402 instance エンティティー and WindowScrolling instance エンティティー and UserSignifiedGraphicalAction instance エンティティー and WindowScrollingByUser
(<=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?AMOUNT
            (MeasureFn 1
                (SquareUnitFn ?UNIT))))
    (equal ?AMOUNT
        (MultiplicationFn
            (MeasureFn 1 ?UNIT)
            (MeasureFn 1 ?UNIT))))
Geography.kif 3748-3752 instance 測定単位 and 測定単位 equal 物理量 and MeasureFn 1 and SquareUnitFn 測定単位 equal 物理量 and MultiplicationFn MeasureFn 1 and 測定単位 and MeasureFn 1 and 測定単位
(<=>
    (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 instance 工程 and Withdrawal instance FinancialAccount and FinancialAccount origin 工程 and CurrencyFn FinancialAccount 工程 instance 工程 and Penalty destination 工程 and CurrencyFn FinancialAccount causes 工程 and 工程 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 エンティティー and 地域 holdsDuring 時間位置 and property エンティティー and StandardAmbientTemperaturePressure holdsDuring 時間位置 and airTemperature エンティティー and MeasureFn 298.15 and KelvinDegree barometricPressure エンティティー and MeasureFn 29.530 and InchMercury
(<=>
    (and
        (located ?PLACE ?AREA)
        (instance ?PLACE PostalPlace)
        (instance ?AREA PostcodeArea))
    (postPostcodeArea ?PLACE ?AREA))
Mid-level-ontology.kif 22584-22589 located PostalPlace and PostcodeArea instance PostalPlace and PostalPlace instance PostcodeArea and PostcodeArea postPostcodeArea PostalPlace and PostcodeArea
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO City))
    (postCity ?PLACE ?GEO))
Mid-level-ontology.kif 22557-22562 located PostalPlace and 都市 instance PostalPlace and PostalPlace instance 都市 and 都市 postCity PostalPlace and 都市
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO Neighborhood))
    (postNeighborhood ?PLACE ?GEO))
Mid-level-ontology.kif 22470-22475 located PostalPlace and Neighborhood instance PostalPlace and PostalPlace instance Neighborhood and Neighborhood postNeighborhood PostalPlace and Neighborhood
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22541-22546 located PostalPlace and instance PostalPlace and PostalPlace instance and postDistrict PostalPlace and
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 22507-22514 located PostalPlace and 地政学的地域 instance PostalPlace and PostalPlace instance 地政学的地域 and 国民 instance 地政学的地域 and DependencyOrSpecialSovereigntyArea postCountry PostalPlace and 地政学的地域
(<=>
    (and
        (time ?PHYS ?TIME)
        (instance ?TIME TimePoint))
    (temporallyBetweenOrEqual
        (BeginFn
            (WhenFn ?PHYS)) ?TIME
        (EndFn
            (WhenFn ?PHYS))))
Merge.kif 8386-8390 time 物理 and 時点 instance 時点 and 時点 temporallyBetweenOrEqual BeginFn WhenFn 物理, 時点 and EndFn WhenFn 物理

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 認識エージェント and 法人 instance FinancialAccount and CorporateAccount
(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))
FinancialOntology.kif 941-945 accountHolder FinancialAccount and 認識エージェント instance 認識エージェント and 人[人間] instance FinancialAccount and PersonalAccount
(<=>
    (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 4924-4935 equal AbsoluteValueFn 実数 and 非負実数 instance 実数 and 実数 instance 非負実数 and 実数 instance 実数 and 非負実数 equal 実数 and 非負実数 instance 実数 and 負の実数 equal 非負実数 and SubtractionFn 0 and 実数
(<=>
    (and
        (instance ?AGENT SentientAgent)
        (attribute ?AGENT Living))
    (exists (?ATTR)
        (and
            (instance ?ATTR ConsciousnessAttribute)
            (attribute ?AGENT ?ATTR))))
Merge.kif 18701-18708 instance オブジェクト and 意識[知覚]を持つ代理(人) attribute オブジェクト and Living エンティティー instance エンティティー and 意識属性 attribute オブジェクト and エンティティー
(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))
FinancialOntology.kif 952-956 instance エンティティー and PersonalAccount greaterThan CardinalityFn KappaFn 記号文字列 and accountHolder エンティティー and 記号文字列 and 1 instance エンティティー and JointAccount
(<=>
    (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 28332-28342 instance エンティティー and 体の部分 holdsDuring 時間位置 and attribute エンティティー and Bare holdsDuring 時間位置 and エンティティー instance エンティティー and 衣類 covers エンティティー and エンティティー
(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500 ?S))
    (instance ?LD Droplet))
Geography.kif 6874-6880 instance 自己接続オブジェクト and LiquidDrop approximateDiameter 自己接続オブジェクト and MeasureFn 実数 and Micrometer lessThan 500 and 実数 instance 自己接続オブジェクト and Droplet
(<=>
    (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 instance オブジェクト and ParticulateMatter part 自己接続オブジェクト and オブジェクト approximateDiameter 自己接続オブジェクト and MeasureFn 実数 and Micrometer greaterThan 10 and 実数 greaterThan 実数 and 2.5 オブジェクト0 instance オブジェクト0 and CoarseParticulateMatter part オブジェクト0 and オブジェクト
(<=>
    (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 instance オブジェクト and ParticulateMatter part 自己接続オブジェクト and オブジェクト approximateDiameter 自己接続オブジェクト and MeasureFn 実数 and Micrometer greaterThanOrEqualTo 実数 and 2.5 オブジェクト5 instance オブジェクト5 and FineParticulateMatter part オブジェクト5 and オブジェクト
(<=>
    (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 2331-2348 instance 関係 and 合計値関係 instance 関係 and 述語 正の整数 instance 関係 and 関係 valence 関係 and 正の整数
(<=>
    (and
        (instance ?SCROLL WindowScrolling)
        (instance ?SCROLL UserSignifiedGraphicalAction))
    (instance ?SCROLL WindowScrollingByUser))
ComputerInput.kif 1398-1402 instance エンティティー and WindowScrolling instance エンティティー and UserSignifiedGraphicalAction instance エンティティー and WindowScrollingByUser
(<=>
    (annualExpendituresOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualExpendituresOfArea ?AREA ?AMOUNT)))))
Economy.kif 1523-1528 annualExpendituresOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 instance 時間位置 and 時間間隔 holdsDuring 時間位置 and annualExpendituresOfArea 地政学的地域 and 通貨測定
(<=>
    (annualRevenuesOfAreaInPeriod ?AREA ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (annualRevenuesOfArea ?AREA ?AMOUNT)))))
Economy.kif 1494-1499 annualRevenuesOfAreaInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 instance 時間位置 and 時間間隔 holdsDuring 時間位置 and annualRevenuesOfArea 地政学的地域 and 通貨測定
(<=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 Hole)
            (part ?HOLE1 ?HOLE2))))
Merge.kif 9992-9997 attribute オブジェクト and Fillable オブジェクト instance オブジェクト and ホール part オブジェクト and オブジェクト
(<=>
    (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 attribute オブジェクト and PolyphonicMusic 工程 工程 instance オブジェクト and MakingMusic instance 工程 and MakingMusic instance 工程 and MakingMusic subProcess 工程 and オブジェクト subProcess 工程 and オブジェクト equal 工程 and 工程 cooccur 工程 and オブジェクト cooccur 工程 and オブジェクト
(<=>
    (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 attribute オブジェクト and OpenSea 物理 instance エンティティー and 塩水地域 instance オブジェクト and LandlockedWater distance 物理, オブジェクト and 長さ測定 greaterThan 長さ測定 and MeasureFn 5 and NauticalMile
(<=>
    (bankAccount ?AccountType ?Bank)
    (exists (?Account)
        (and
            (instance ?Account ?AccountType)
            (accountAt ?Account ?Bank))))
FinancialOntology.kif 3779-3784 bankAccount FinancialAccount and Bank-FinancialOrganization FinancialAccount instance FinancialAccount and FinancialAccount 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 時間位置 and 時間間隔 holdsDuring 時間位置 and capitalExpendituresOfArea 地政学的地域 and エンティティー
(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))
Economy.kif 3664-3669 currencyExchangePerUSDollar 通貨測定 and 時間間隔 時間位置 instance 時間位置 and 時間間隔 holdsDuring 時間位置 and currencyExchangeRate UnitedStatesDollar and 通貨測定
(<=>
    (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate ?UNIT ?AMOUNT)))))
Economy.kif 3671-3676 currencyExchangeRateInPeriod UnitOfCurrency, 通貨測定 and 時間間隔 時間位置 instance 時間位置 and 時間間隔 holdsDuring 時間位置 and currencyExchangeRate UnitOfCurrency and 通貨測定
(<=>
    (customer ?AGENT1 ?AGENT2)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE FinancialTransaction)
            (agent ?SERVICE ?AGENT2)
            (destination ?SERVICE ?AGENT1))))
Mid-level-ontology.kif 7430-7436 customer 認識エージェント and 認識エージェント 工程 instance 工程 and 金融取引 agent 工程 and 認識エージェント destination 工程 and 認識エージェント
(<=>
    (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 工程 and 金融取引 employs 組織 and 認識エージェント agent 工程 and 認識エージェント destination 工程 and 認識エージェント
(<=>
    (economicAidDonatedInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (economicAidDonated ?COUNTRY ?AMOUNT)))))
Economy.kif 2822-2827 economicAidDonatedInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 instance 時間位置 and 時間間隔 holdsDuring 時間位置 and economicAidDonated 地政学的地域 and 通貨測定
(<=>
    (economicAidReceivedNetInPeriod ?COUNTRY ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (economicAidReceivedNet ?COUNTRY ?AMOUNT)))))
Economy.kif 2862-2867 economicAidReceivedNetInPeriod 地政学的地域, 通貨測定 and 時間間隔 時間位置 instance 時間位置 and 時間間隔 holdsDuring 時間位置 and economicAidReceivedNet 地政学的地域 and 通貨測定
(<=>
    (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 時間位置 and 時間間隔 holdsDuring 時間位置 and electricityFractionFromSource 地政学的地域, PowerGeneration and 実数

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 containsInformation ?AGENT ?VOTER, ?ELECTION and ?VOTING and 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 containsInformation ?COUNTRY ?ELECTION, ?VOTING and ?VOTER and 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 containsInformation ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE and 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 containsInformation ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE and 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 decreasesLikelihood biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS instance ?SAMPLE and ?SUBSTANCE instance ?THERAPY and ?PROCESS experiencer ?THERAPY and ?ORGANISM patient ?THERAPY and ?SUBSTANCE and attribute ?ORGANISM and ?SYMPTOM
(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 equal AvailableForMilitaryServiceMaleFn 地政学的地域 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人[人間] attribute 記号文字列 and Male militaryAge 地政学的地域 and エンティティー age 記号文字列 and エンティティー greaterThanOrEqualTo エンティティー and エンティティー inhabits 記号文字列 and 地政学的地域
(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 equal ChildrenBornPerWomanFn 地政学的地域 and YearFn 整数 and CardinalityFn KappaFn 記号文字列 and instance エンティティー and 出生 experiencer エンティティー and 記号文字列 agent エンティティー and エンティティー instance エンティティー and 人[人間] attribute エンティティー and Female holdsDuring YearFn 整数 and inhabits エンティティー and 地政学的地域
(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 equal FitForMilitaryServiceMaleFn 地政学的地域 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人[人間] attribute 記号文字列 and Male instance エンティティー and 軍事プロセス fitForMilitaryService 記号文字列 and エンティティー militaryAge 地政学的地域 and エンティティー age 記号文字列 and エンティティー greaterThanOrEqualTo エンティティー and エンティティー inhabits 記号文字列 and 地政学的地域
(equal
    (PopulationFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (inhabits ?PERSON ?AREA)))))
People.kif 49-54 equal PopulationFn 地政学的地域 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人[人間] inhabits 記号文字列 and 地政学的地域
(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 equal ReachingMilitaryAgeAnnuallyMaleFn 地政学的地域 and and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人[人間] attribute 記号文字列 and Male militaryAge 地政学的地域 and エンティティー equal エンティティー and SubtractionFn エンティティー and 1 holdsDuring and age 記号文字列 and エンティティー age 記号文字列 and エンティティー equal エンティティー and エンティティー inhabits 記号文字列 and 地政学的地域
(exists (?THING)
    (instance ?THING Entity))
Merge.kif 863-864 エンティティー instance エンティティー and エンティティー
(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 時間間隔 and 時間間隔 finishes 時間間隔 and WhenFn JesusOfNazareth starts 時間間隔 and WhenFn TwelveApostles エンティティー
(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D Downloading)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))
ComputingBrands.kif 3128-3134 hasPurpose iBookstore and ?D instance ?D and Downloading instrument ?D and iBookstore instance ?T and テキスト objectTransferred ?D and ?T
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (instance Montenegro EuropeanNation))
Media.kif 2507-2508 holdsDuring FutureFn DayFn 3 and MonthFn 6月 and YearFn 2006 and instance Montenegro and EuropeanNation
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (instance Montenegro IndependentState))
Media.kif 2505-2506 holdsDuring FutureFn DayFn 3 and MonthFn 6月 and YearFn 2006 and instance Montenegro and IndependentState
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (not
        (instance SerbiaAndMontenegro IndependentState)))
Media.kif 2519-2520 holdsDuring FutureFn DayFn 3 and MonthFn 6月 and YearFn 2006 and instance SerbiaAndMontenegro and IndependentState
(holdsDuring
    (FutureFn
        (DayFn 5
            (MonthFn June
                (YearFn 2006))))
    (instance Serbia EuropeanNation))
Media.kif 2492-2493 holdsDuring FutureFn DayFn 5 and MonthFn 6月 and YearFn 2006 and instance Serbia and EuropeanNation
(holdsDuring
    (FutureFn
        (DayFn 5
            (MonthFn June
                (YearFn 2006))))
    (instance Serbia IndependentState))
Media.kif 2490-2491 holdsDuring FutureFn DayFn 5 and MonthFn 6月 and YearFn 2006 and instance Serbia and IndependentState
(increasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentDelivery ?AGENT ?PROCESSTYPE)
        (instance ?PROCESS ?PROCESSTYPE)
        (experiencer ?PROCESS ?ORGANISM))
    (attribute ?ORGANISM ?SYMPTOM))
WMD.kif 761-767 increasesLikelihood biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE instance ?PROCESS and ?PROCESSTYPE experiencer ?PROCESS and ?ORGANISM and attribute ?ORGANISM and ?SYMPTOM
(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 } ~{ instance GUIElement and InterfaceWindow }
(not
    (and
        (instance ?CURSOR Cursor)
        (hasGUEState ?CURSOR GUE_SelectedState)))
ComputerInput.kif 1776-1779 ~{ instance GUIElement and Cursor } ~{ hasGUEState GUIElement and GUE_SelectedState }
(not
    (and
        (instance ?CURSOR MouseCursor)
        (hasGUEState ?CURSOR GUE_ActiveState)))
ComputerInput.kif 1544-1547 ~{ instance GUIElement and MouseCursor } ~{ 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 6230-6237 グラフパス グラフパス instance グラフパス and CutSetFn グラフ instance グラフパス and MinimalCutSetFn グラフ pathLength グラフパス and 正の整数 pathLength グラフパス and 正の整数 lessThan 正の整数 and 正の整数

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


(instance
    (CellPartFn ?VIR ?PARTTYPE) ?PARTTYPE)
VirusProteinAndCellPart.kif 591-591 instance CellPartFn 細胞 and CellPart and CellPart
(instance
    (ViralPartFn ?VIR ?PARTTYPE) ?PARTTYPE)
VirusProteinAndCellPart.kif 580-580 instance ViralPartFn ウイルス and VirusPart and VirusPart
(instance AAA-Rating FinancialRating) FinancialOntology.kif 2443-2443 instance AAA-Rating and FinancialRating
(instance ABPFn UnaryFunction) UXExperimentalTerms.kif 3427-3427 instance ABPFn and 1変数関数
(instance ABTest ExperimentAttribute) UXExperimentalTerms.kif 4612-4612 instance ABTest and ExperimentAttribute
(instance APucikwarLanguage CentralGreatAndamaneseLanguage) Languages.kif 5379-5379 instance APucikwarLanguage and CentralGreatAndamaneseLanguage
(instance ASEANRegionalForum OrganizationOfNations) Government.kif 2811-2811 instance ASEANRegionalForum and OrganizationOfNations
(instance ASPFn UnaryFunction) UXExperimentalTerms.kif 3470-3470 instance ASPFn and 1変数関数
(instance ATandTCorp Corporation) ComputingBrands.kif 1943-1943 instance ATandTCorp and 法人
(instance AalandIslands Archipelago) Media.kif 2530-2530 instance AalandIslands and Archipelago
(instance AalandIslands DependencyOrSpecialSovereigntyArea) Media.kif 2531-2531 instance AalandIslands and DependencyOrSpecialSovereigntyArea
(instance AariyaLanguage UnclassifiedSpokenLanguage) Languages.kif 3771-3771 instance AariyaLanguage and UnclassifiedSpokenLanguage
(instance Abbot ReligiousPosition) People.kif 1211-1211 instance Abbot and ReligiousPosition
(instance AbinomnLanguage SpokenHumanLanguage) Languages.kif 2923-2923 instance AbinomnLanguage and SpokenHumanLanguage
(instance AbishiraLanguage UnclassifiedSpokenLanguage) Languages.kif 3777-3777 instance AbishiraLanguage and UnclassifiedSpokenLanguage
(instance AbkhazLanguage NorthCaucasianLanguage) Languages.kif 14542-14542 instance AbkhazLanguage and NorthCaucasianLanguage
(instance AbortedFn BinaryFunction) MilitaryProcesses.kif 2377-2377 instance AbortedFn and 2変数関数
(instance AbortedLaunchFn BinaryFunction) MilitaryProcesses.kif 2443-2443 instance AbortedLaunchFn and 2変数関数
(instance AbortedMissionFn BinaryFunction) MilitaryProcesses.kif 2397-2397 instance AbortedMissionFn and 2変数関数
(instance Above AntiSymmetricPositionalAttribute) Merge.kif 17412-17412 instance Above and AntiSymmetricPositionalAttribute
(instance Above PositionalAttribute) Merge.kif 17411-17411 instance Above and 位置属性
(instance AbsoluteValueFn TotalValuedRelation) Merge.kif 4916-4916 instance AbsoluteValueFn and 合計値関係
(instance AbsoluteValueFn UnaryFunction) Merge.kif 4915-4915 instance AbsoluteValueFn and 1変数関数
(instance AbunLanguage NorthBirdsHeadLanguage) Languages.kif 13705-13705 instance AbunLanguage and NorthBirdsHeadLanguage
(instance Acapella MusicGenre) Music.kif 521-521 instance Acapella and MusicGenre

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