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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 子類 Surgery and TherapeuticProcess

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21056-21056 子類 割禮 and Surgery
No TPTP formula. May not be expressible in strict first order. Medicine.kif 742-742 子類 Cricothyroidotomy and Surgery
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4627-4627 子類 OrganTransplant and Surgery
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4425-4425 子類 Septoplasty and Surgery
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4653-4653 子類 Terfenadine and Surgery
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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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