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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PartiallyCoveringGraphicalWindow

Sigma KEE - PartiallyCoveringGraphicalWindow
PartiallyCoveringGraphicalWindow(partially covering graphical window)

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2552-2553
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2551-2551 Partially covering graphical window is a subclass of user signified graphical action

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65295-65295

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2556-2556 The number 1 argument of GUI element partially covered is an instance of partially covering graphical window

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2609-2617
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2564-2569


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