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 2347-2349
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2343-2346
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2353-2353	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 2389-2389	SSHWS1 est une instance de SSHWSAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2401-2401	SSHWS2 est une instance de SSHWSAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2413-2413	SSHWS3 est une instance de SSHWSAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2425-2425	SSHWS4 est une instance de SSHWSAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2437-2437	SSHWS5 est une instance de SSHWSAttribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2352-2352
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2350-2350
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2351-2351

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2361-2380	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 2355-2359	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