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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GUE_CoveredState

Sigma KEE - GUE_CoveredState
GUE_CoveredState(GUE covered state)

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2187-2187 GUE covered state is the opposite of GUE selected state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2115-2115 GUE covered state is the opposite of GUE uncovered state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2075-2078
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2073-2073 GUE covered state is an instance of GU element state
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2074-2074 GUE covered state is a subattribute of GUE non visible state

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


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

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2082-2088

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2120-2131
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2082-2088
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2529-2537
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2547-2549
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2649-2655
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2149-2155


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