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 量 は 抽象的な の subclass では %n
(subclass FiniteQuantity Quantity) Mid-level-ontology.kif 2874-2874 FiniteQuantity は 量 の subclass では %n
(subclass InfiniteQuantity Quantity) Mid-level-ontology.kif 2878-2878 InfiniteQuantity は 量 の subclass では %n
(subclass Number Quantity) Merge.kif 1824-1824 数 は 量 の subclass では %n
(subclass PhysicalQuantity Quantity) Merge.kif 2025-2025 物理量 は 量 の subclass では %n
(subclass PhysicalDimension Quantity) engineering.kif 74-74 PhysicalDimension は 量 の subclass では %n
(subclass MultipoleQuantity Quantity) engineering.kif 293-293 MultipoleQuantity は 量 の subclass では %n


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