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


KB Term:  Term intersection
English Word: 

Sigma KEE - BreakingRecord
BreakingRecord(breaking record)

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 32683-32686
(subclass BreakingRecord Process) Mid-level-ontology.kif 32687-32687 Breaking record is a subclass of process

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


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

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 32691-32721 If X is an instance of breaking record and Y is an agent of X, then All of the following hold: (1) there exist Z, W,, , V,, , U,, , T,, , S (2) R such that Z is an instance of set (3) Y is an element of Z (4) W is a subclass of process (5) S is an instance of region (6) U is an instance of time point (7) R is an instance of quantity (8) V is an instance of W (9) X includes a reference to R (10) R includes a reference to V (11) Y plays role in event T for V (12) V is located at S (13) there don't exist Q (14) P such that Q is an instance of Z (15) equal Q (16) Y (17) P is an instance of W (18) Q plays role in event T for P (19) P is located at S holds during interval between U (20) the end of the time of existence of X


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