subclass

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3927-3927 A dead grape is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 4033-4033 A dead groundnut is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3837-3837 A dead leafy green vegetable is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3979-3979 A dead mango is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3930-3930 A dead melon is a subclass of grocery produce
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. Economy.kif 3941-3941 A dead olive is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3982-3982 A dead papaw is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3987-3987 A dead papaya is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3990-3990 A dead passion fruit is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 4030-4030 A dead peanut is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3993-3993 A dead pineapple is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3996-3996 A dead plantain is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3879-3879 A dead squash is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3917-3917 A dead sugar cane is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3852-3852 A dead sweet pepper is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3887-3887 A dead sweet potato tuber is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3890-3890 A dead taro tuber is a subclass of grocery produce
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. Economy.kif 3924-3924 A dead tomato is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3961-3961 A dead tropical fruit is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3873-3873 A dead turnip is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3893-3893 A dead yam tuber is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1169-1169 AA m is a subclass of air attack missile
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1168-1168 AA m is a subclass of air launch missile

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