Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?X BreakingRecord)
        (agent ?X ?A1))
    (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
        (and
            (instance ?AC Set)
            (instance ?A1 ?AC)
            (subclass ?PC Process)
            (subclass ?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 29408-29438
(subclass Quantity Abstract) Merge.kif 1634-1634 Quantity is a subclass of abstract
(subclass FiniteQuantity Quantity) Mid-level-ontology.kif 2825-2825 Finite quantity is a subclass of quantity
(subclass InfiniteQuantity Quantity) Mid-level-ontology.kif 2829-2829 Infinite quantity is a subclass of quantity
(subclass Number Quantity) Merge.kif 1764-1764 Number is a subclass of quantity
(subclass PhysicalQuantity Quantity) Merge.kif 1965-1965 Physical quantity is a subclass of quantity
(subclass PhysicalDimension Quantity) engineering.kif 73-73 Physical dimension is a subclass of quantity
(subclass MultipoleQuantity Quantity) engineering.kif 292-292 Multipole quantity is a subclass of quantity


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