TreeView Knowledge Base Browser

appearance as argument number 1

(documentation CurrencyCoin EnglishLanguage "Any instance of Currency that is made of Metal.")	Mid-level-ontology.kif 3597-3598
(subclass CurrencyCoin Currency)	Mid-level-ontology.kif 3596-3596	CurrencyCoin は Currency の subclass では %n

appearance as argument number 2

(subclass AfghanAfghaniCoin CurrencyCoin)	Economy.kif 2907-2907	AfghanAfghaniCoin は CurrencyCoin の subclass では %n
(subclass BritishPoundCoin CurrencyCoin)	Economy.kif 2909-2909	BritishPoundCoin は CurrencyCoin の subclass では %n
(subclass CanadianDollarCoin CurrencyCoin)	Economy.kif 2911-2911	CanadianDollarCoin は CurrencyCoin の subclass では %n
(subclass EuroCentCoin CurrencyCoin)	Economy.kif 2913-2913	EuroCentCoin は CurrencyCoin の subclass では %n
(subclass EuroDollarCoin CurrencyCoin)	Economy.kif 2915-2915	EuroDollarCoin は CurrencyCoin の subclass では %n
(subclass FrenchFrancCoin CurrencyCoin)	Economy.kif 2917-2917	FrenchFrancCoin は CurrencyCoin の subclass では %n
(subclass GermanMarkCoin CurrencyCoin)	Economy.kif 2919-2919	GermanMarkCoin は CurrencyCoin の subclass では %n
(subclass ItalianLiraCoin CurrencyCoin)	Economy.kif 2921-2921	ItalianLiraCoin は CurrencyCoin の subclass では %n
(subclass JapaneseYenCoin CurrencyCoin)	Economy.kif 2923-2923	JapaneseYenCoin は CurrencyCoin の subclass では %n
(subclass TajikSomoniCoin CurrencyCoin)	Economy.kif 2925-2925	TajikSomoniCoin は CurrencyCoin の subclass では %n
(subclass UnitedStatesCentCoin CurrencyCoin)	Economy.kif 2928-2928	UnitedStatesCentCoin は CurrencyCoin の subclass では %n
(subclass UnitedStatesFiveCentCoin CurrencyCoin)	Economy.kif 2931-2931	UnitedStatesFiveCentCoin は CurrencyCoin の subclass では %n
(subclass UnitedStatesQuarterCoin CurrencyCoin)	Economy.kif 2937-2937	UnitedStatesQuarterCoin は CurrencyCoin の subclass では %n
(subclass UnitedStatesTenCentCoin CurrencyCoin)	Economy.kif 2934-2934	UnitedStatesTenCentCoin は CurrencyCoin の subclass では %n
(termFormat ChineseLanguage CurrencyCoin "货币硬币")	domainEnglishFormat.kif 18066-18066
(termFormat ChineseTraditionalLanguage CurrencyCoin "貨幣硬幣")	domainEnglishFormat.kif 18065-18065
(termFormat EnglishLanguage CurrencyCoin "coin")	domainEnglishFormat.kif 18064-18064

appearance as argument number 3

(partition Currency CurrencyBill CurrencyCoin)

Mid-level-ontology.kif 3585-3585

Currency は CurrencyBill + CurrencyCoin に exhaustively partitioned %n

antecedent

(=>
    (instance ?COIN CurrencyCoin)
    (exists (?METAL)
        (and
            (subclass ?METAL Metal)
            (material ?METAL ?COIN))))

Mid-level-ontology.kif 3600-3605

微粒子オブジェクトは CurrencyCoin の instance では %n
物質物質は金属の subclass では %n 物質は微粒子オブジェクトで made %n

consequent

(=>
    (attribute ?M CoinOperated)
    (hasPurpose ?M
        (exists (?C ?FT ?A ?ACT)
            (and
                (instance ?C CurrencyCoin)
                (instance ?FT FinancialTransaction)
                (destination ?FT ?M)
                (patient ?FT ?C)
                (origin ?FT ?A)
                (causes ?FT ?ACT)
                (wants ?A ?ACT)))))

Mid-level-ontology.kif 29474-29485

CoinOperated はオブジェクトの attribute では %n
オブジェクトはエンティティーエンティティー, エンティティー and エンティティーCT エンティティーは CurrencyCoin の instance では %n エンティティーは金融取引の instance では %n エンティティーはオブジェクトに ends %n{ない} エンティティーはエンティティーの patient では %n エンティティーはエンティティーから originates %n{ない} エンティティーはエンティティーCT を causes %n{ない} エンティティーはエンティティーCT を wants %n{ない} の目的 %n{ない}

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: