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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TakingIll

 Sigma KEE - TakingIll
TakingIll

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5923-5924
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5922-5922 TakingIll est une sous-classe de processus pathologique

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5835-5835 Infecting est une sous-classe de TakingIll
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56853-56853
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56852-56852
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56851-56851

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


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


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