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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FungalAgent

Sigma KEE - FungalAgent
FungalAgent

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 8496-8496
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9244-9244
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. WMD.kif 214-214 FungalAgent e' uma sub-classe de Cogumelo
No TPTP formula. May not be expressible in strict first order. WMD.kif 213-213 FungalAgent e' uma sub-classe de ToxicOrganism

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1391-1391 CoccidiodesPosadasii e' uma sub-classe de FungalAgent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1379-1379 CoccidioidesImmitis e' uma sub-classe de FungalAgent
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25232-25232
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25231-25231
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25230-25230

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


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


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