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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FungalAgent
FungalAgent(fungal agent)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 215-215
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8497-8497
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9245-9245
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9246-9246
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9247-9247
No TPTP formula. May not be expressible in strict first order. WMD.kif 214-214 Fungal agent is a subclass of fungus
No TPTP formula. May not be expressible in strict first order. WMD.kif 213-213 Fungal agent is a subclass of toxic organism

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1366-1366 Coccidiodes posadasii is a subclass of fungal agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1359-1359 Coccidioides immitis is a subclass of fungal agent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25227-25227
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25226-25226
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25225-25225

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 221-228


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 3.0 is open source software produced by Articulate Software and its partners