TreeView Knowledge Base Browser - Agriculture

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 20866-20868
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 20865-20865	Agriculture est une sous-classe de maintenir

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2929-2929	SlashAndBurnAgriculture est une sous-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 20870-20875

Processus est une instance de Agriculture
processus processus est une instance de grandir processus est un sous-processus de processus

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 7242-7257	Collection est une instance de organisation BuildingMaterialAndGardenEquipmentAndSuppliesDealers est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent objet AutonomousAgent est une instance de vendre objet est une instance de objet objet est capable de faire construire dans le r�le resource objet est capable de faire Agriculture dans le r�le resource objet est un patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5210-5222	Entit� est une instance de ForestProduct processus est une instance de manufacture entit� est le resultat de processus entit� est un patient de processus entit� est une instance de organisme processus objet processus est une instance de Agriculture entit� est le resultat de processus eventLocated processus and objet objet est une instance de Forest
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1831-1833	FertileTerrain est un attribut de objet objet est capable de faire Agriculture dans le r�le eventLocated
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20880-20885	FarmHand est un attribut de AutonomousAgent processus processus est une instance de Agriculture processus est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4809-4818	ForageCrop est un attribut de objet objet a pour but entit� entit� est une instance de Agriculture objet est le resultat de entit� objet est une instance de plante objet est une instance de FoodForFn DomesticAnimal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8166-8171	Objet est une instance de CultivatedLandArea processus processus est une instance de Agriculture eventLocated processus and objet
No TPTP formula. May not be expressible in strict first order.	Food.kif 3670-3677	Objet est une instance de FarmOfProductFn organisme processus organismeI organismeI est une instance de organisme processus est une instance de Agriculture processus est situ� � objet organismeI est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18104-18109	Processus est une instance de Harvesting processus processus est une instance de Agriculture processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 3655-3662	Objet est une instance de Orchard processus entit� processus est une instance de Agriculture processus est situ� � objet entit� est une instance de arbre entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18057-18062	Processus est une instance de Tilling processus processus est une instance de Agriculture processus est un sous-processus de processus

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