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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FarmOfProductFn

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 3665-3666
(domainSubclass FarmOfProductFn 1 Organism) Food.kif 3667-3667 FarmOfProductFn の数値 1 引数は subclass では %n
(instance FarmOfProductFn UnaryFunction) Food.kif 3664-3664 FarmOfProductFn1変数関数instance では %n
(rangeSubclass FarmOfProductFn CultivatedLandArea) Food.kif 3668-3668 FarmOfProductFn が返す値は CultivatedLandAreasubclasses では %n

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


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

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


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

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