TreeView Knowledge Base Browser - Harvesting

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Harvesting

Harvesting(收穫)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18073-18074
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2587-2587
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2477-2477
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2586-2586
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18072-18072	子類收穫 and Killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18071-18071	子類收穫 and Removing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5469-5469	子類砍伐 and 收穫
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27492-27492
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27491-27491
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27490-27490

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 2687-2692	例 Process and 收穫結果 Process and Object 例 Object and Mushroom attribute Object and 農産品
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18083-18091	例 Process and 收穫結果 Process and Entity EntityRG 例 Entity and 一個 dead EntityRG 子類 EntityRG and OrganicObject
No TPTP formula. May not be expressible in strict first order.	Food.kif 2159-2164	例 Process and 收穫結果 Process and Object 例 Object and Herb attribute Object and 農産品
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18076-18081	例 Process and 收穫 Process 例 Process and 農業子過程 Process and Process

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4195-4204	attribute Object and 農産品例 Object and FruitOrVegetable 有目的 Object and entity 例 entity and 收穫結果 entity and Object 例 Object and food for Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20040-20049	attribute Object and 飼料有目的 Object and entity 例 entity and 收穫結果 entity and Object 例 Object and OrganicObject 例 Object and food for 家畜

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