TreeView Knowledge Base Browser - CultivatedLandArea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8136-8137
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8135-8135	CultivatedLandArea e' uma sub-classe de Area terrestre

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 3668-3668	Os valores retornados por FarmOfProductFn sao as sub-classes de CultivatedLandArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8151-8151	Garden e' uma sub-classe de CultivatedLandArea
No TPTP formula. May not be expressible in strict first order.	Food.kif 3651-3651	Orchard e' uma sub-classe de CultivatedLandArea
No TPTP formula. May not be expressible in strict first order.	Food.kif 3684-3684	Vineyard e' uma sub-classe de CultivatedLandArea
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18006-18006
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18005-18005
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18004-18004

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 8167-8167

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 8139-8144