TreeView Knowledge Base Browser - SSHWSAttribute

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 est une sous-classe de SpeedScaleAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2393-2393	SSHWS1 est une instance de SSHWSAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2405-2405	SSHWS2 est une instance de SSHWSAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2417-2417	SSHWS3 est une instance de SSHWSAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2429-2429	SSHWS4 est une instance de SSHWSAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2441-2441	SSHWS5 est une instance de 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	Processus est une instance de Hurricane SpeedScaleAttribute est une instance de SSHWSAttribute eventLocated processus and objet agent cognitif croit processus a un attribute SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, nombre r�el unit� de mesure(s) and nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure nombre r�el nombre r�el est plus grand ou �gal � nombre r�el nombre r�el est plus petit ou �gal � nombre r�el agent cognitif croit nombre r�el unit� de mesure(s) est Mean1MinuteWindSpeedFn objet and temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2359-2363	Attribut est une instance de SSHWSAttribute entit� a un attribute attribut entit� est une instance de Hurricane

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