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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeadFn
DeadFn

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 237-239
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 235-235 The number 1 argument of DeadFn is a subclass of organism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 234-234 DeadFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 236-236 The values returned by DeadFn are subclasses of OrganismRemains

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 802-802

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 242-248

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 251-259
No TPTP formula. May not be expressible in strict first order. Food.kif 304-310
No TPTP formula. May not be expressible in strict first order. Food.kif 864-870
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 229-231

statement
-------------------------


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. Economy.kif 3938-3938 A dead apple is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3964-3964 A dead avocado is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3967-3967 A dead banana is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3935-3935 A dead berry is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3970-3970 A dead breadfruit is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3843-3843 A dead cabbage is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3876-3876 A dead carrot is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3896-3896 A dead cassava is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3846-3846 A dead cauliflower is a subclass of grocery produce
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. Economy.kif 3944-3944 A dead citrus fruit is a subclass of grocery produce
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. Economy.kif 3973-3973 A dead coconut is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3840-3840 A dead cucumber is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3976-3976 A dead date fruit is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 4019-4019 A dead edible nut is a subclass of grocery produce
No TPTP formula. May not be expressible in strict first order. Economy.kif 3849-3849 A dead eggplant is a subclass of grocery produce
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. 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

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