Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Agriculture

Sigma KEE - Agriculture
Agriculture(agriculture)
more pictures...
agricultural, animal_husbandry, aquaculture, aquiculture, arboriculture, cranberry_culture, drip_culture, farm, gardening, grow, horticulture, hydroponics, keep, monoculture, produce, raise, ranching, strip_cropping, subsistence_farming, tank_farming, tillage, tree_farming, truck_farming

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20839-20841
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5842-5842
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6051-6051
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6052-6052
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6053-6053
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6054-6054
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6055-6055
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6056-6056
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6058-6058
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20838-20838 Agriculture is a subclass of maintaining

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2929-2929 Slash and burn agriculture is a subclass of agriculture
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5982-5982
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5981-5981
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5980-5980

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20843-20848

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 7242-7257
No TPTP formula. May not be expressible in strict first order. Economy.kif 5210-5222
No TPTP formula. May not be expressible in strict first order. Geography.kif 1831-1833
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20853-20858
No TPTP formula. May not be expressible in strict first order. Economy.kif 4809-4818
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8139-8144
No TPTP formula. May not be expressible in strict first order. Food.kif 3670-3677
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18077-18082
No TPTP formula. May not be expressible in strict first order. Food.kif 3655-3662
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18030-18035


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

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