TreeView Knowledge Base Browser

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 的所得值是 CultivatedLandArea 的 subclass

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

如果客体是 FarmOfProductFn 有点生物的 instance，
然后有存在过程和有点生物I 这样那个有点生物I 是那个有点生物的 instance 和那个过程是 Agriculture 的 instance 和那个过程是 located 在那个客体和那个有点生物I 是那个过程的 result

statement

(equal AppleOrchard (FarmOfProductFn Apple))	Food.kif 1148-1148	AppleOrchard equal FarmOfProductFn Apple
(equal Vineyard (FarmOfProductFn WineGrape))	Food.kif 1151-1151	Vineyard equal FarmOfProductFn WineGrape

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: