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
-------------------------


(domainSubclass FarmOfProductFn 1 Organism) Food.kif 1135-1135 FarmOfProductFn 的 1 数量 是 生物subclass
(instance FarmOfProductFn UnaryFunction) Food.kif 1132-1132 FarmOfProductFn一元函数instance
(rangeSubclass FarmOfProductFn CultivatedLandArea) Food.kif 1136-1136 FarmOfProductFn 的所得值 是 CultivatedLandAreasubclass

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


(format EnglishLanguage FarmOfProductFn "a farm of %1 in %2") domainEnglishFormat.kif 859-859

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


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners