Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Region
Region(region)Abraham's_bosom, Annwfn, Annwn, Antarctic_Circle, Appleton_layer, Aquarius, Aquarius_the_Water_Bearer, Archer, Arctic_Circle, Aries, Aries_the_Ram, Asgard, Balance, Brobdingnag, Bull, Cancer, Cancer_the_Crab, Capricorn, Capricorn_the_Goat, Celestial_City, City_of_God, Cockaigne, Crab, D-layer, D_region, E_layer, E_region, Earth, Eden, Edgeworth-Kuiper_belt, El_Dorado, Elysian_Fields, Elysium, F_layer, F_region, Fish, GHQ, Garden_of_Eden, Gehenna, Gemini, Gemini_the_Twins, Goat, Green_Line, Greenwich_Meridian, Hades, Heaven, Heavenly_City, Heaviside_layer, Hell, Holy_City...

VerbNet: remove-10.1|reap, remove-10.1|reap,


appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1626-1629
No TPTP formula. May not be expressible in strict first order. Merge.kif 1148-1153
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8696-8696 Region is exhaustively partitioned into geographic area and space region
No TPTP formula. May not be expressible in strict first order. Merge.kif 1146-1146 Region is a subclass of object

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4612-4612 The range of flow region is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 796-796 The range of inner boundary is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 410-410 The range of latitude is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 808-808 The range of outer boundary is an instance of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 3918-3918 The range of where is an instance of region
No TPTP formula. May not be expressible in strict first order. Weather.kif 10-10 Atmosphere is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13239-13239 Dining area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8760-8760 Flow region is a subclass of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 12859-12859 Geographic area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 9110-9110 Hole is a subclass of region
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 424-424 Hydrophilic side is a subclass of region
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 413-413 Hydrophobic side is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8864-8864 Indoors is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13215-13215 Kitchen area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 302-302 Latitude is a subclass of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 311-311 Longitude is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8852-8852 Outdoors is a subclass of region
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 31-31 Parking area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24630-24630 Patio is a subclass of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 761-761 Perimeter area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Dining.kif 935-935 Playground is a subclass of region
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1295-1295 Real estate is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19950-19950 Road is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13202-13202 Sitting area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8784-8784 Space region is a subclass of region

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 795-795 The number 1 argument of inner boundary is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 780-780 The number 1 argument of maritime claims territorial sea is an instance of region
No TPTP formula. May not be expressible in strict first order. Food.kif 293-293 The number 2 argument of meal attribute function is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 807-807 The number 1 argument of outer boundary is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 768-768 The number 1 argument of perimeter area is an instance of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 6221-6221 The number 3 argument of velocity is an instance of region
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1313-1313 The number 1 argument of area of operation is an instance of region
No TPTP formula. May not be expressible in strict first order. Biography.kif 78-78 The number 2 argument of baptismplace is an instance of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22276-22276 The number 1 argument of canonicalPlaceName is an instance of region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2659-2659 The number 4 argument of capable at location is an instance of region
No TPTP formula. May not be expressible in strict first order. Hotel.kif 759-759 The number 1 argument of capacity by arrangement is an instance of region
No TPTP formula. May not be expressible in strict first order. Weather.kif 481-481 The number 1 argument of cloud cover fraction is an instance of region
No TPTP formula. May not be expressible in strict first order. Weather.kif 461-461 The number 1 argument of daylight hours interval is an instance of region
No TPTP formula. May not be expressible in strict first order. Weather.kif 471-471 The number 1 argument of daylight hours total is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 4691-4691 The number 1 argument of highTide is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 4700-4700 The number 1 argument of lowTide is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 527-527 The number 1 argument of map of area is an instance of region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3365-3365 The number 2 argument of provides destination is an instance of region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2873-2873 The number 2 argument of route between is an instance of region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2874-2874 The number 3 argument of route between is an instance of region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2746-2746 The number 1 argument of routeEnd is an instance of region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2723-2723 The number 1 argument of routeStart is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 538-538 The number 1 argument of total area is an instance of region
No TPTP formula. May not be expressible in strict first order. Weather.kif 1205-1205 The number 1 argument of visibility in meteorology is an instance of region

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1183-1193 An entity is an instance of region and the entity the attribute standard ambient temperature and pressure holds during a time position if and only if 298.15 kelvin degree(s) is an air temperature of the entity and 29.530 inch mercury(s) is a barometric pressure of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Merge.kif 12498-12504 There exists a process such that the process is an instance of radiating light and an object is a patient of the process and the object is an instance of region if and only if illuminated is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28183-28190
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28167-28175
No TPTP formula. May not be expressible in strict first order. Geography.kif 427-431
No TPTP formula. May not be expressible in strict first order. Geography.kif 467-474
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1325-1330
No TPTP formula. May not be expressible in strict first order. Cars.kif 368-376
No TPTP formula. May not be expressible in strict first order. Geography.kif 3355-3360
No TPTP formula. May not be expressible in strict first order. Weather.kif 1252-1269
No TPTP formula. May not be expressible in strict first order. Geography.kif 421-425
No TPTP formula. May not be expressible in strict first order. Geography.kif 461-465
No TPTP formula. May not be expressible in strict first order. Merge.kif 1155-1158
No TPTP formula. May not be expressible in strict first order. Geography.kif 802-804
No TPTP formula. May not be expressible in strict first order. Geography.kif 814-816

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 985-996
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 577-587
No TPTP formula. May not be expressible in strict first order. Merge.kif 10624-10633
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28095-28124
No TPTP formula. May not be expressible in strict first order. Dining.kif 909-933
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1014-1022
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1029-1037
No TPTP formula. May not be expressible in strict first order. Cars.kif 383-396
No TPTP formula. May not be expressible in strict first order. Cars.kif 403-416
No TPTP formula. May not be expressible in strict first order. engineering.kif 1134-1146
No TPTP formula. May not be expressible in strict first order. Weather.kif 720-734
No TPTP formula. May not be expressible in strict first order. Weather.kif 1386-1400
No TPTP formula. May not be expressible in strict first order. Weather.kif 1442-1455
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8838-8840
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8834-8836
No TPTP formula. May not be expressible in strict first order. Weather.kif 165-173


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners