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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Focusing

 Sigma KEE - Focusing
Focusing(focusing)
more pictures...		focalise, focalize, focus, refocus, sharpen

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3344-3345
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6527-6527
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6018-6018
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6528-6528
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6525-6525
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6530-6530
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6529-6529
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6526-6526
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3343-3343 Focusing is a subclass of quantity change

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24458-24458
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24457-24457
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24456-24456

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


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


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