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 31924-31954
(subclass Quantity Abstract) Merge.kif 1689-1689 Quantit� est une sous-classe de abstrait
(subclass FiniteQuantity Quantity) Mid-level-ontology.kif 3337-3337 FiniteQuantity est une sous-classe de quantit�
(subclass InfiniteQuantity Quantity) Mid-level-ontology.kif 3341-3341 InfiniteQuantity est une sous-classe de quantit�
(subclass Number Quantity) Merge.kif 1819-1819 Nombre est une sous-classe de quantit�
(subclass PhysicalQuantity Quantity) Merge.kif 2021-2021 Quantit� physique est une sous-classe de quantit�
(subclass PhysicalDimension Quantity) engineering.kif 73-73 PhysicalDimension est une sous-classe de quantit�
(subclass MultipoleQuantity Quantity) engineering.kif 292-292 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