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)
            (instance ?A1 ?AC)
            (subclass ?PC Process)
            (subclass ?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 29408-29438
(subclass Region Object) Merge.kif 1203-1203 地区客体subclass
(subclass Atmosphere Region) Weather.kif 10-10 大气层地区subclass
(subclass HydrophobicSide Region) VirusProteinAndCellPart.kif 485-485 疏水面地区subclass
(subclass HydrophilicSide Region) VirusProteinAndCellPart.kif 496-496 亲水侧地区subclass
(subclass ParkingRegion Region) TransportDetail.kif 31-31 ParkingRegion地区subclass
(subclass TransitStop Region) Transportation.kif 2931-2931 中转站地区subclass
(subclass TransitRoute Region) Transportation.kif 2998-2998 过境路线地区subclass
(subclass FlowRegion Region) Mid-level-ontology.kif 8646-8646 流动区域地区subclass
(subclass SpaceRegion Region) Mid-level-ontology.kif 8670-8670 空间区域地区subclass
(subclass Outdoors Region) Mid-level-ontology.kif 8732-8732 在户外地区subclass
(subclass Indoors Region) Mid-level-ontology.kif 8744-8744 在室内地区subclass
(subclass SittingArea Region) Mid-level-ontology.kif 14972-14972 SittingArea地区subclass
(subclass KitchenArea Region) Mid-level-ontology.kif 14985-14985 KitchenArea地区subclass
(subclass DiningArea Region) Mid-level-ontology.kif 15010-15010 DiningArea地区subclass
(subclass Road Region) Mid-level-ontology.kif 21673-21673 地区subclass
(subclass Patio Region) Mid-level-ontology.kif 25982-25982 Patio地区subclass
(subclass Hole Region) Merge.kif 9762-9762 地区subclass
(subclass GeographicArea Region) Merge.kif 13777-13777 地理区域地区subclass
(subclass Transitway Region) Merge.kif 14011-14011 公交专用道地区subclass
(subclass Latitude Region) Geography.kif 302-302 纬度地区subclass
(subclass Longitude Region) Geography.kif 311-311 经度地区subclass
(subclass PerimeterArea Region) Geography.kif 769-769 周边区域地区subclass
(subclass PlayArea Region) Dining.kif 935-935 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