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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Prescription

Sigma KEE - Prescription
Prescription

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9266-9268
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9265-9265 Prescription文本subclass

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9278-9288
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9271-9276

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9318-9330
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9296-9308


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