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 1078-1079
(domainSubclass FarmOfProductFn 1 Organism) Food.kif 1080-1080 The number 1 argument of FarmOfProductFn is a subclass of organism
(instance FarmOfProductFn UnaryFunction) Food.kif 1077-1077 FarmOfProductFn is an instance of unary function
(rangeSubclass FarmOfProductFn CultivatedLandArea) Food.kif 1081-1081 The values returned by FarmOfProductFn are subclasses of cultivated land area

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

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


(equal AppleOrchard
    (FarmOfProductFn Apple))
Food.kif 1094-1094 AppleOrchard is equal to a farm of apple in
(equal Vineyard
    (FarmOfProductFn WineGrape))
Food.kif 1098-1098 Vineyard is equal to a farm of wine grape in


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