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)
            (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 30030-30060
(subclass Quantity Abstract) Merge.kif 1694-1694 Quantit� est une sous-classe de abstrait
(subclass FiniteQuantity Quantity) Mid-level-ontology.kif 2874-2874 FiniteQuantity est une sous-classe de quantit�
(subclass InfiniteQuantity Quantity) Mid-level-ontology.kif 2878-2878 InfiniteQuantity est une sous-classe de quantit�
(subclass Number Quantity) Merge.kif 1824-1824 Nombre est une sous-classe de quantit�
(subclass PhysicalQuantity Quantity) Merge.kif 2025-2025 Quantit� physique est une sous-classe de quantit�
(subclass PhysicalDimension Quantity) engineering.kif 74-74 PhysicalDimension est une sous-classe de quantit�
(subclass MultipoleQuantity Quantity) engineering.kif 293-293 MultipoleQuantity est une sous-classe de quantit�


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