subclass

-------------------------


s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3927-3927
s__subclass(s__DeadFn(s__Groundnut),s__GroceryProduce)

Economy.kif 4033-4033
s__subclass(s__DeadFn(s__LeafyGreenVegetable),s__GroceryProduce)

Economy.kif 3837-3837
s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3979-3979
s__subclass(s__DeadFn(s__Melon),s__GroceryProduce)

Economy.kif 3930-3930
s__subclass(s__DeadFn(s__MulberryLeaf),s__PlantAgriculturalArtifact)

Society.kif 1065-1065
s__subclass(s__DeadFn(s__Olive),s__GroceryProduce)

Economy.kif 3941-3941
s__subclass(s__DeadFn(s__Papaw),s__GroceryProduce)

Economy.kif 3982-3982
s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3987-3987
s__subclass(s__DeadFn(s__PassionFruit),s__GroceryProduce)

Economy.kif 3990-3990
s__subclass(s__DeadFn(s__Peanut),s__GroceryProduce)

Economy.kif 4030-4030
s__subclass(s__DeadFn(s__Pineapple),s__GroceryProduce)

Economy.kif 3993-3993
s__subclass(s__DeadFn(s__Plantain),s__GroceryProduce)

Economy.kif 3996-3996
s__subclass(s__DeadFn(s__Squash),s__GroceryProduce)

Economy.kif 3879-3879
s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3917-3917
s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3852-3852
s__subclass(s__DeadFn(s__SweetPotatoTuber),s__GroceryProduce)

Economy.kif 3887-3887
s__subclass(s__DeadFn(s__TaroTuber),s__GroceryProduce)

Economy.kif 3890-3890
s__subclass(s__DeadFn(s__Tobacco),s__PlantAgriculturalArtifact)

Society.kif 1029-1029
s__subclass(s__DeadFn(s__Tomato),s__GroceryProduce)

Economy.kif 3924-3924
s__subclass(s__DeadFn(s__TropicalFruit),s__GroceryProduce)

Economy.kif 3961-3961
s__subclass(s__DeadFn(s__Turnip),s__GroceryProduce)

Economy.kif 3873-3873
s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3893-3893
s__instance(s__AirAttackMissile,s__SetOrClass)

MilitaryDevices.kif 1169-1169
s__instance(s__AirLaunchMissile,s__SetOrClass)

MilitaryDevices.kif 1168-1168

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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