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


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