Agriculture - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Agriculture

Agriculture

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20838-20840
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 20837-20837	Agriculture e' uma sub-classe de Preservar

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2929-2929	SlashAndBurnAgriculture e' uma sub-classe de 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 20842-20847

Processo e' uma instancia de Agriculture
Processo Processo e' uma instancia de Crescimento Processo e' um sub-processo de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 7242-7257	Colecao e' uma instancia de Organizacao BuildingMaterialAndGardenEquipmentAndSuppliesDealers e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto AutonomousAgent e' uma instancia de Vender Objeto e' uma instancia de Objeto Objeto e' capaz de fazer Construcao no role resource Objeto e' capaz de fazer Agriculture no role resource Objeto e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5210-5222	Entidade e' uma instancia de ForestProduct Processo e' uma instancia de Manufatura Entidade e' o resultado de Processo Entidade e' um patient de Processo Entidade e' uma instancia de Organismo Processo Objeto Processo e' uma instancia de Agriculture Entidade e' o resultado de Processo eventLocated Processo and Objeto Objeto e' uma instancia de Forest
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1831-1833	FertileTerrain e' um atributo de Objeto Objeto e' capaz de fazer Agriculture no role eventLocated
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20852-20857	FarmHand e' um atributo de AutonomousAgent Processo Processo e' uma instancia de Agriculture Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4809-4818	ForageCrop e' um atributo de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Agriculture Objeto e' o resultado de Entidade Objeto e' uma instancia de Planta Objeto e' uma instancia de FoodForFn DomesticAnimal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8138-8143	Objeto e' uma instancia de CultivatedLandArea Processo Processo e' uma instancia de Agriculture eventLocated Processo and Objeto
No TPTP formula. May not be expressible in strict first order.	Food.kif 3670-3677	Objeto e' uma instancia de FarmOfProductFn Organismo Processo OrganismoI OrganismoI e' uma instancia de Organismo Processo e' uma instancia de Agriculture Processo e' situado em Objeto OrganismoI e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18076-18081	Processo e' uma instancia de Harvesting Processo Processo e' uma instancia de Agriculture Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 3655-3662	Objeto e' uma instancia de Orchard Processo Entidade Processo e' uma instancia de Agriculture Processo e' situado em Objeto Entidade e' uma instancia de Arvore Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18029-18034	Processo e' uma instancia de Tilling Processo Processo e' uma instancia de Agriculture Processo e' um sub-processo de Processo

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

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