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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlantAgriculturalArtifact
PlantAgriculturalArtifactplant_fiber, plant_fibre, plant_material, plant_product, plant_substance

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


No TPTP formula. May not be expressible in strict first order. Society.kif 986-989
No TPTP formula. May not be expressible in strict first order. Society.kif 1059-1059 A dead alfalfa is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1073-1073 A dead chrysanthemum is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1063-1063 A dead clover is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1064-1064 A dead forage crop is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1065-1065 A dead MulberryLeaf is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1029-1029 A dead tobacco is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 984-984 PlantAgriculturalArtifact is a subclass of OrganicThing

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


No TPTP formula. May not be expressible in strict first order. Society.kif 1032-1032 Aloes is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1030-1030 Cannabis is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 998-998 Cereal grain is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1046-1046 Coca is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1031-1031 Cocaine is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1021-1021 Cocoa is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1022-1022 Cocoa bean is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1020-1020 Coffee bean is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1016-1016 Copra is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1066-1066 Cotton is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1074-1074 CutFlower is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1010-1010 EdibleSeed is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1002-1002 Edible tuber is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1068-1068 FlaxFiber is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1000-1000 Grocery produce is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1026-1026 Gum arabic is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1067-1067 HempFiber is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1172-1172 Hops is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1070-1070 JuteFiber is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1034-1034 Kentia palm seed is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1052-1052 Khat is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1004-1004 Legume is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1177-1177 Malt is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1007-1007 Nut is a subclass of PlantAgriculturalArtifact
No TPTP formula. May not be expressible in strict first order. Society.kif 1036-1036 Oilseed is a subclass of PlantAgriculturalArtifact

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners