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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GraphicalComputerMenu
  InferiorGlutealArteryPerforatingArteries

Sigma KEE - GraphicalComputerMenu
GraphicalComputerMenu

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 892-892 GraphicalComputerMenu est disjoint de ComputerTouchscreenKeyboard
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 891-891 GraphicalComputerMenu est disjoint de ComputerTouchscreenKeypad
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 888-890
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1150-1150 partTypes GraphicalComputerMenu and GraphicalMenuItem
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 885-885 GraphicalComputerMenu est une sous-classe de ComputerMenu
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 886-886 GraphicalComputerMenu est une sous-classe de GUIActiveArea
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 887-887 GraphicalComputerMenu est une sous-classe de UIElement

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1149-1149 partTypes GraphicalMenuItem and GraphicalComputerMenu
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 907-907 ComboListTextBox est une sous-classe de GraphicalComputerMenu
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 901-901 DropDownList est une sous-classe de GraphicalComputerMenu
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 913-913 GraphicalSubMenu est une sous-classe de GraphicalComputerMenu
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 897-897 ListBox est une sous-classe de GraphicalComputerMenu
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64952-64952

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 918-923


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