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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tremor
Tremor(tremor)flicker, flitter, flutter, judder, quiver, shake, shaky, shivering, trembling, tremor, waver,

VerbNet: light_emission-43.1|flicker, light_emission-43.1|flicker, light_emission-43.1|flicker, light_emission-43.1|flicker, light_emission-43.1|flicker,


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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15019-15020
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15018-15018 Tremor is a subclass of rotating

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2252-2252 Earth tremor is a subclass of tremor
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17740-17740 Trembling is a subclass of tremor
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59107-59107 "震" is the printable form of tremor in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59106-59106 "震" is the printable form of tremor in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59105-59105 "tremor" is the printable form of tremor in english language

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 730-730 The number 1 argument of physicalAmplitude is an instance of tremor

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 802-815
No TPTP formula. May not be expressible in strict first order. Cars.kif 773-785


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners