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 1088-1089
(domainSubclass FarmOfProductFn 1 Organism) Food.kif 1090-1090 domainSubclass FarmOfProductFn, 1 and Organism
(instance FarmOfProductFn UnaryFunction) Food.kif 1087-1087 instance FarmOfProductFn and UnaryFunction
(rangeSubclass FarmOfProductFn CultivatedLandArea) Food.kif 1091-1091 rangeSubclass FarmOfProductFn and CultivatedLandArea

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


(format ChineseLanguage FarmOfProductFn "%1 在 %2 的 farm ") domainEnglishFormat.kif 3399-3399
(format ChineseTraditionalLanguage FarmOfProductFn "%1 在 %2 的 farm ") domainEnglishFormat.kif 3398-3398
(format EnglishLanguage FarmOfProductFn "a farm of %1 in %2") domainEnglishFormat.kif 3397-3397

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


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

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


(equal AppleOrchard
    (FarmOfProductFn Apple))
Food.kif 1103-1103 equal AppleOrchard and FarmOfProductFn Apple
(equal Vineyard
    (FarmOfProductFn WineGrape))
Food.kif 1106-1106 equal Vineyard and FarmOfProductFn WineGrape


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