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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Burrow

 Sigma KEE - pathologyTreatment
pathologyTreatment

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9951-9957
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9959-9959 域 pathologyTreatment, 1 and PathologicProcess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9960-9960 域子類 pathologyTreatment, 2 and BiologicallyActiveSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9961-9961 域子類 pathologyTreatment, 3 and Process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9962-9962 例 pathologyTreatment and TernaryPredicate

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


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

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9853-9853 pathologyTreatment AllergicReaction, Antihistamine and Ingesting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6407-6407 pathologyTreatment 痛, Analgesic and Ingesting


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