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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - BreakingRecord
BreakingRecord

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


(documentation BreakingRecord EnglishLanguage "A Process where the AutonomousAgent takes a specific CaseRole in a Process of a specific Class which no other AutonomousAgent 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 31914-31917
(subclass BreakingRecord Process) Mid-level-ontology.kif 31918-31918 BreakingRecord est une sous-classe de processus

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


(termFormat EnglishLanguage BreakingRecord "breaking record") domainEnglishFormat.kif 64561-64561

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


(=>
    (and
        (instance ?X BreakingRecord)
        (agent ?X ?A1))
    (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
        (and
            (instance ?AC Set)
            (element ?A1 ?AC)
            (subclass ?PC Process)
            (instance ?L Region)
            (instance ?TP TimePoint)
            (instance ?Q Quantity)
            (instance ?P1 ?PC)
            (refers ?X ?Q)
            (refers ?Q ?P1)
            (playsRoleInEvent ?A1 ?ROLE ?P1)
            (eventLocated ?P1 ?L)
            (not
                (exists (?A2 ?P2)
                    (and
                        (instance ?A2 ?AC)
                        (not
                            (equal ?A2 ?A1))
                        (instance ?P2 ?PC)
                        (holdsDuring
                            (TimeIntervalFn ?TP
                                (EndFn
                                    (WhenFn ?X)))
                            (and
                                (playsRoleInEvent ?A2 ?ROLE ?P2)
                                (eventLocated ?P2 ?L)))))))))		 Mid-level-ontology.kif 31922-31952


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