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, 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 15071-15072
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15070-15070 Tremor is a subclass of rotating

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2264-2264 Earth tremor is a subclass of tremor
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17793-17793 Trembling is a subclass of tremor
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59049-59049
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59048-59048
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59047-59047

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 731-731 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 803-816
No TPTP formula. May not be expressible in strict first order. Cars.kif 774-786


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