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 子類 Quantity and Abstract
(subclass FiniteQuantity Quantity) Mid-level-ontology.kif 2874-2874 子類 有限數量 and Quantity
(subclass InfiniteQuantity Quantity) Mid-level-ontology.kif 2878-2878 子類 無限的數量 and Quantity
(subclass Number Quantity) Merge.kif 1824-1824 子類 Number and Quantity
(subclass PhysicalQuantity Quantity) Merge.kif 2025-2025 子類 PhysicalQuantity and Quantity
(subclass PhysicalDimension Quantity) engineering.kif 74-74 子類 物理尺寸 and Quantity
(subclass MultipoleQuantity Quantity) engineering.kif 293-293 子類 多極數量 and 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