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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DeadFn

Sigma KEE - DeadFn
DeadFn

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 110-112
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 108-108 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 107-107 DeadFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 109-109 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 3175-3175
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3174-3174
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3173-3173

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 114-120
No TPTP formula. May not be expressible in strict first order. Economy.kif 4016-4019
No TPTP formula. May not be expressible in strict first order. Economy.kif 4058-4061
No TPTP formula. May not be expressible in strict first order. Economy.kif 4065-4068
No TPTP formula. May not be expressible in strict first order. Economy.kif 4009-4012
No TPTP formula. May not be expressible in strict first order. Economy.kif 4653-4656
No TPTP formula. May not be expressible in strict first order. Economy.kif 4072-4075
No TPTP formula. May not be expressible in strict first order. Economy.kif 3859-3862
No TPTP formula. May not be expressible in strict first order. Economy.kif 3911-3914
No TPTP formula. May not be expressible in strict first order. Economy.kif 3951-3954
No TPTP formula. May not be expressible in strict first order. Economy.kif 3866-3869
No TPTP formula. May not be expressible in strict first order. Economy.kif 4030-4033
No TPTP formula. May not be expressible in strict first order. Economy.kif 4079-4082
No TPTP formula. May not be expressible in strict first order. Economy.kif 3852-3855
No TPTP formula. May not be expressible in strict first order. Economy.kif 4086-4089
No TPTP formula. May not be expressible in strict first order. Economy.kif 4157-4160
No TPTP formula. May not be expressible in strict first order. Economy.kif 3873-3876
No TPTP formula. May not be expressible in strict first order. Economy.kif 3995-3998
No TPTP formula. May not be expressible in strict first order. Economy.kif 4179-4182
No TPTP formula. May not be expressible in strict first order. Economy.kif 3845-3848
No TPTP formula. May not be expressible in strict first order. Economy.kif 4093-4096
No TPTP formula. May not be expressible in strict first order. Economy.kif 4000-4003
No TPTP formula. May not be expressible in strict first order. Economy.kif 4023-4026
No TPTP formula. May not be expressible in strict first order. Economy.kif 4100-4103
No TPTP formula. May not be expressible in strict first order. Economy.kif 4110-4113

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 122-130
No TPTP formula. May not be expressible in strict first order. Food.kif 237-243
No TPTP formula. May not be expressible in strict first order. Food.kif 804-810
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 103-105


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