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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MouseCursor
MouseCursor(mouse cursor)

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1064-1064 Mouse cursor is disjoint from GUI active area
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1063-1063 Mouse cursor is disjoint from text cursor
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1060-1062
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1059-1059 Mouse cursor is a subclass of cursor

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


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

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1067-1073
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1990-1992

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1753-1758

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1952-1955 ~{ A GUI element is an instance of mouse cursor } or ~{ the GUI element has state GUE active state }


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