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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CanadianDollarCoin

 Sigma KEE - Anesthetizing
Anesthetizing

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 941-946
No TPTP formula. May not be expressible in strict first order. Medicine.kif 940-940 Anesthetizing est une sous-classe de processus therapeutique

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 960-960 GeneralAnesthetizing est une sous-classe de Anesthetizing
No TPTP formula. May not be expressible in strict first order. Medicine.kif 994-994 LocalAnesthetizing est une sous-classe de Anesthetizing
No TPTP formula. May not be expressible in strict first order. Medicine.kif 977-977 Sedating est une sous-classe de Anesthetizing
No TPTP formula. May not be expressible in strict first order. Medicine.kif 947-947

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 966-975
No TPTP formula. May not be expressible in strict first order. Medicine.kif 949-958
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1026-1031

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1033-1039


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