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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - controlled
controlled

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21378-21381
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21383-21383 The number 1 argument of controlled is an instance of achieving control
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21384-21384 The number 2 argument of controlled is an instance of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21377-21377 controlled is an instance of case role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21382-21382 controlled is a subrelation of patient

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 83-83
No TPTP formula. May not be expressible in strict first order. english_format.kif 83-83
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21435-21435 arrested is a subrelation of controlled
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17032-17032
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 84-84
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17031-17031
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17030-17030

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


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


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