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
(subclass FiniteQuantity Quantity) Mid-level-ontology.kif 2874-2874 有限数量 是 数量 的 subclass
(subclass InfiniteQuantity Quantity) Mid-level-ontology.kif 2878-2878 无限的数量 是 数量 的 subclass
(subclass Number Quantity) Merge.kif 1824-1824 数字 是 数量 的 subclass
(subclass PhysicalQuantity Quantity) Merge.kif 2025-2025 物理量 是 数量 的 subclass
(subclass PhysicalDimension Quantity) engineering.kif 74-74 物理尺寸 是 数量 的 subclass
(subclass MultipoleQuantity Quantity) engineering.kif 293-293 多极数量 是 数量 的 subclass


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