CultivatedLandArea - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8135-8136
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8134-8134	子類耕地面積 and LandArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 3668-3668	範圍子類 FarmOfProductFn and 耕地面積
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8150-8150	子類園林 and 耕地面積
No TPTP formula. May not be expressible in strict first order.	Food.kif 3651-3651	子類 Orchard and 耕地面積
No TPTP formula. May not be expressible in strict first order.	Food.kif 3684-3684	子類 Vineyard and 耕地面積
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 8166-8166

antecedent

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

Mid-level-ontology.kif 8138-8143