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


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