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 3672-3673
(domainSubclass FarmOfProductFn 1 Organism) Food.kif 3674-3674 FarmOfProductFn 的 1 数量 是 生物 的 subclass
(instance FarmOfProductFn UnaryFunction) Food.kif 3671-3671 FarmOfProductFn 是 一元函数 的 instance
(rangeSubclass FarmOfProductFn CultivatedLandArea) Food.kif 3675-3675 FarmOfProductFn 的所得值 是 耕地面积 的 subclass

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

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