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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Surgery

 Sigma KEE - Surgery
Surgery(外科手术)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3151-3152
No TPTP formula. May not be expressible in strict first order. Merge.kif 12256-12257
No TPTP formula. May not be expressible in strict first order. pictureList.kif 760-760
No TPTP formula. May not be expressible in strict first order. Merge.kif 12255-12255 外科手术 是 治疗过程 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21056-21056 割礼 是 外科手术 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 742-742 Cricothyroidotomy 是 外科手术 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4627-4627 OrganTransplant 是 外科手术 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4425-4425 Septoplasty 是 外科手术 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4653-4653 Terfenadine 是 外科手术 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1159-1159
No TPTP formula. May not be expressible in strict first order. english_format.kif 1535-1535
No TPTP formula. May not be expressible in strict first order. french_format.kif 837-837
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 369-369
No TPTP formula. May not be expressible in strict first order. terms-it.txt 372-372
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2521-2521
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 789-789
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 374-374
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 408-408
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 858-858
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 373-373

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12259-12268


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