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 Region Object) Merge.kif 1251-1251 地域オブジェクトsubclass では %n
(subclass Atmosphere Region) Weather.kif 10-10 Atmosphere地域subclass では %n
(subclass HydrophobicSide Region) VirusProteinAndCellPart.kif 536-536 HydrophobicSide地域subclass では %n
(subclass HydrophilicSide Region) VirusProteinAndCellPart.kif 547-547 HydrophilicSide地域subclass では %n
(subclass ParkingRegion Region) TransportDetail.kif 31-31 ParkingRegion地域subclass では %n
(subclass TransitStop Region) Transportation.kif 2924-2924 TransitStop地域subclass では %n
(subclass TransitRoute Region) Transportation.kif 2991-2991 TransitRoute地域subclass では %n
(subclass FlowRegion Region) Mid-level-ontology.kif 9043-9043 FlowRegion地域subclass では %n
(subclass SpaceRegion Region) Mid-level-ontology.kif 9067-9067 SpaceRegion地域subclass では %n
(subclass Outdoors Region) Mid-level-ontology.kif 9129-9129 Outdoors地域subclass では %n
(subclass Indoors Region) Mid-level-ontology.kif 9141-9141 Indoors地域subclass では %n
(subclass SittingArea Region) Mid-level-ontology.kif 15528-15528 SittingArea地域subclass では %n
(subclass KitchenArea Region) Mid-level-ontology.kif 15541-15541 KitchenArea地域subclass では %n
(subclass DiningArea Region) Mid-level-ontology.kif 15566-15566 DiningArea地域subclass では %n
(subclass UnderwaterRegion Region) Mid-level-ontology.kif 17673-17673 UnderwaterRegion地域subclass では %n
(subclass Road Region) Mid-level-ontology.kif 22217-22217 Road地域subclass では %n
(subclass Patio Region) Mid-level-ontology.kif 26634-26634 Patio地域subclass では %n
(subclass HoleRegion Region) Merge.kif 9851-9851 HoleRegion地域subclass では %n
(subclass GeographicArea Region) Merge.kif 14031-14031 地理的地域地域subclass では %n
(subclass Transitway Region) Merge.kif 14265-14265 Transitway地域subclass では %n
(subclass Latitude Region) Geography.kif 302-302 Latitude地域subclass では %n
(subclass Longitude Region) Geography.kif 311-311 Longitude地域subclass では %n
(subclass PerimeterArea Region) Geography.kif 762-762 PerimeterArea地域subclass では %n
(subclass RealEstate Region) FinancialOntology.kif 1354-1354 RealEstate地域subclass では %n
(subclass PlayArea Region) Dining.kif 982-982 PlayArea地域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