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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SSHWSAttribute

 Sigma KEE - SSHWSAttribute
SSHWSAttribute

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2351-2353
No TPTP formula. May not be expressible in strict first order. Weather.kif 2347-2350
No TPTP formula. May not be expressible in strict first order. Weather.kif 2357-2357 子類 SSHWSAttribute and SpeedScaleAttribute

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2393-2393 例 SSHWS1 and SSHWSAttribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2405-2405 例 SSHWS2 and SSHWSAttribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2417-2417 例 SSHWS3 and SSHWSAttribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2429-2429 例 SSHWS4 and SSHWSAttribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2441-2441 例 SSHWS5 and SSHWSAttribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2356-2356
No TPTP formula. May not be expressible in strict first order. Weather.kif 2354-2354
No TPTP formula. May not be expressible in strict first order. Weather.kif 2355-2355

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2365-2384
No TPTP formula. May not be expressible in strict first order. Weather.kif 2359-2363


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