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
(subclass Atmosphere Region) Weather.kif 10-10 大气层地区subclass
(subclass HydrophobicSide Region) VirusProteinAndCellPart.kif 536-536 疏水面地区subclass
(subclass HydrophilicSide Region) VirusProteinAndCellPart.kif 547-547 亲水侧地区subclass
(subclass ParkingRegion Region) TransportDetail.kif 31-31 ParkingRegion地区subclass
(subclass TransitStop Region) Transportation.kif 2924-2924 中转站地区subclass
(subclass TransitRoute Region) Transportation.kif 2991-2991 过境路线地区subclass
(subclass FlowRegion Region) Mid-level-ontology.kif 9043-9043 流动区域地区subclass
(subclass SpaceRegion Region) Mid-level-ontology.kif 9067-9067 空间区域地区subclass
(subclass Outdoors Region) Mid-level-ontology.kif 9129-9129 在户外地区subclass
(subclass Indoors Region) Mid-level-ontology.kif 9141-9141 在室内地区subclass
(subclass SittingArea Region) Mid-level-ontology.kif 15528-15528 SittingArea地区subclass
(subclass KitchenArea Region) Mid-level-ontology.kif 15541-15541 KitchenArea地区subclass
(subclass DiningArea Region) Mid-level-ontology.kif 15566-15566 DiningArea地区subclass
(subclass UnderwaterRegion Region) Mid-level-ontology.kif 17673-17673 UnderwaterRegion地区subclass
(subclass Road Region) Mid-level-ontology.kif 22217-22217 地区subclass
(subclass Patio Region) Mid-level-ontology.kif 26634-26634 Patio地区subclass
(subclass HoleRegion Region) Merge.kif 9851-9851 地区subclass
(subclass GeographicArea Region) Merge.kif 14031-14031 地理区域地区subclass
(subclass Transitway Region) Merge.kif 14265-14265 公交专用道地区subclass
(subclass Latitude Region) Geography.kif 302-302 纬度地区subclass
(subclass Longitude Region) Geography.kif 311-311 经度地区subclass
(subclass PerimeterArea Region) Geography.kif 762-762 周边区域地区subclass
(subclass RealEstate Region) FinancialOntology.kif 1354-1354 房地产地区subclass
(subclass PlayArea Region) Dining.kif 982-982 PlayArea地区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