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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - FarmOfProductFn
FarmOfProductFn

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


(documentation FarmOfProductFn EnglishLanguage "A Function that returns a class of the farm of a given type of Organism.") Food.kif 3672-3673
(domainSubclass FarmOfProductFn 1 Organism) Food.kif 3674-3674 FarmOfProductFn の数値 1 引数は subclass では
(instance FarmOfProductFn UnaryFunction) Food.kif 3671-3671 FarmOfProductFn1変数関数instance では
(rangeSubclass FarmOfProductFn CultivatedLandArea) Food.kif 3675-3675 FarmOfProductFn が返す値は CultivatedLandAreasubclasses では

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


(format ChineseLanguage FarmOfProductFn "%1 在 %2 的 farm ") domainEnglishFormat.kif 3396-3396
(format ChineseTraditionalLanguage FarmOfProductFn "%1 在 %2 的 farm ") domainEnglishFormat.kif 3395-3395
(format EnglishLanguage FarmOfProductFn "a farm of %1 in %2") domainEnglishFormat.kif 3394-3394
(termFormat EnglishLanguage FarmOfProductFn "farm of product fn") domainEnglishFormat.kif 64842-64842

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


(=>
    (instance ?F
        (FarmOfProductFn ?O))
    (exists (?A ?OI)
        (and
            (instance ?OI ?O)
            (instance ?A Agriculture)
            (located ?A ?F)
            (result ?A ?OI))))
Food.kif 3677-3684

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


(equal AppleOrchard
    (FarmOfProductFn Apple))
Food.kif 3688-3688 AppleOrchardFarmOfProductFn Appleequal では
(equal Vineyard
    (FarmOfProductFn WineGrape))
Food.kif 3692-3692 VineyardFarmOfProductFn WineGrapeequal では


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