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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BreakingRecord
BreakingRecordbetter, break, record

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


s__documentation(s__BreakingRecord,s__EnglishLanguage,'"A Process where the Agent takes a specific CaseRole in a Process of a specific Class which no other Agent of the same Class had undertaken in the same CaseRole in a specific TimeInterval preceeding the moment when the record was broken and in a specific Region. BreakingRecord refers to a Quantity which refers to the Process Class."')

Mid-level-ontology.kif 28164-28167
s__instance(s__Process,s__SetOrClass)

s__subclass(s__BreakingRecord,s__Process)

s__instance(s__BreakingRecord,s__SetOrClass)

Mid-level-ontology.kif 28168-28168 BreakingRecord is a subclass of process

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28170-28199


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 3.0 is open source software produced by Articulate Software and its partners