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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TakingIll

Sigma KEE - TakingIll
TakingIll(taking ill)come_down, contract, get, sicken, take

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5636-5637
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5635-5635 Taking ill is a subclass of pathologic process

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5548-5548 Infecting is a subclass of taking ill
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56830-56830
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56829-56829
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56828-56828

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


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


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