Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?AREA GeographicArea)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP)
        (greaterThan
            (MeasureFn 10 CelsiusDegree) ?TEMP))
    (instance ?AREA PolarClimateZone))
Geography.kif 1530-1536
(=>
    (and
        (vegetationType ?REGION ?TYPE)
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (exists (?PLANT)
        (and
            (instance ?PLANT ?TYPE)
            (located ?PLANT ?REGION))))
Geography.kif 5787-5795
(=>
    (and
        (subclass ?TYPE Process)
        (instance ?EVENT ?TYPE)
        (eventLocated ?EVENT ?REGION)
        (instance ?ROLE CaseRole)
        (instance ?OBJECT Object)
        (instance ?REGION GeographicArea)
        (?ROLE ?EVENT ?OBJECT))
    (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2670-2679
(=>
    (and
        (instance ?AREA TropicalClimateZone)
        (subclass ?MO Month)
        (instance ?AREA GeographicArea)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThan ?TEMP
        (MeasureFn 18 CelsiusDegree)))
Geography.kif 1276-1282
(=>
    (and
        (not
            (vegetationType ?REGION ?TYPE))
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (not
        (exists (?PLANT)
            (and
                (instance ?PLANT ?TYPE)
                (located ?PLANT ?REGION)))))
Geography.kif 5796-5804
(subclass GeographicArea Region) Merge.kif 13010-13010 subclass GeographicArea and Region
(subclass ParkingLot GeographicArea) TransportDetail.kif 73-73 subclass ParkingLot and GeographicArea
(subclass BusStop GeographicArea) Transportation.kif 1975-1975 subclass BusStop and GeographicArea
(subclass IllicitDrugMoneyLaunderingArea GeographicArea) TransnationalIssues.kif 79-79 subclass IllicitDrugMoneyLaunderingArea and GeographicArea
(subclass MilitaryFront GeographicArea) Mid-level-ontology.kif 8668-8668 subclass MilitaryFront and GeographicArea
(subclass Marketplace GeographicArea) Mid-level-ontology.kif 20368-20368 subclass Marketplace and GeographicArea
(subclass TouristSite GeographicArea) Mid-level-ontology.kif 20517-20517 subclass TouristSite and GeographicArea
(subclass Neighborhood GeographicArea) Mid-level-ontology.kif 22489-22489 subclass Neighborhood and GeographicArea
(subclass LocalizablePlace GeographicArea) Merge.kif 13019-13019 subclass LocalizablePlace and GeographicArea
(subclass GeopoliticalArea GeographicArea) Merge.kif 13032-13032 subclass GeopoliticalArea and GeographicArea
(subclass WaterArea GeographicArea) Merge.kif 13099-13099 subclass WaterArea and GeographicArea
(subclass LandArea GeographicArea) Merge.kif 13132-13132 subclass LandArea and GeographicArea
(subclass SurfaceGroundArea GeographicArea) Geography.kif 569-569 subclass SurfaceGroundArea and GeographicArea
(subclass WaterOnlyArea GeographicArea) Geography.kif 594-594 subclass WaterOnlyArea and GeographicArea
(subclass InternationalBorder GeographicArea) Geography.kif 727-727 subclass InternationalBorder and GeographicArea
(subclass Checkpoint GeographicArea) Geography.kif 732-732 subclass Checkpoint and GeographicArea
(subclass MaritimeClaimArea GeographicArea) Geography.kif 1020-1020 subclass MaritimeClaimArea and GeographicArea
(subclass ClimateZone GeographicArea) Geography.kif 1260-1260 subclass ClimateZone and GeographicArea
(subclass GeologicalFault GeographicArea) Geography.kif 2312-2312 subclass GeologicalFault and GeographicArea
(subclass Ecosystem GeographicArea) Geography.kif 2599-2599 subclass Ecosystem and GeographicArea
(subclass Hemisphere GeographicArea) Geography.kif 3321-3321 subclass Hemisphere and GeographicArea
(subclass LandForm GeographicArea) Geography.kif 3770-3770 subclass LandForm and GeographicArea
(subclass UndergroundArea GeographicArea) Geography.kif 3783-3783 subclass UndergroundArea and GeographicArea
(subclass LakeRegion GeographicArea) Geography.kif 5077-5077 subclass LakeRegion and GeographicArea
(subclass LittoralZone GeographicArea) Geography.kif 5444-5444 subclass LittoralZone and GeographicArea
(subclass ArchipelagicArea GeographicArea) Geography.kif 5527-5527 subclass ArchipelagicArea and GeographicArea
(subclass Cave GeographicArea) Geography.kif 5610-5610 subclass Cave and GeographicArea
(subclass SubmergedLandArea GeographicArea) Geography.kif 5663-5663 subclass SubmergedLandArea and GeographicArea


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