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 1078-1079
(domainSubclass FarmOfProductFn 1 Organism) Food.kif 1080-1080
(instance FarmOfProductFn UnaryFunction) Food.kif 1077-1077
(rangeSubclass FarmOfProductFn CultivatedLandArea) Food.kif 1081-1081

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


(format ChineseLanguage FarmOfProductFn "%1 在 %2 的 farm ") domainEnglishFormat.kif 3403-3403
(format ChineseTraditionalLanguage FarmOfProductFn "%1 在 %2 的 farm ") domainEnglishFormat.kif 3402-3402
(format EnglishLanguage FarmOfProductFn "a farm of %1 in %2") domainEnglishFormat.kif 3401-3401

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


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

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