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...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1267-1270
No TPTP formula. May not be expressible in strict first order. Merge.kif 1261-1266
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8686-8686 Region is exhaustively partitioned into geographic area and space region
No TPTP formula. May not be expressible in strict first order. Merge.kif 1260-1260 Region is a subclass of object

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4599-4599 The range of flow region is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 789-789 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 801-801 The range of outer boundary is an instance of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 4331-4331 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 12987-12987 Dining area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8750-8750 Flow region is a subclass of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 13891-13891 Geographic area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 9737-9737 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 8854-8854 Indoors is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12963-12963 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 8842-8842 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 24284-24284 Patio is a subclass of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 754-754 Perimeter area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Dining.kif 939-939 Playground is a subclass of region
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1296-1296 Real estate is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19626-19626 Road is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12950-12950 Sitting area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8774-8774 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 788-788 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 773-773 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 294-294 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 800-800 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 761-761 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 6840-6840 The number 3 argument of velocity is an instance of region
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1302-1302 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 21979-21979 The number 1 argument of canonicalPlaceName is an instance of region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2603-2603 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 755-755 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 482-482 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 462-462 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 472-472 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 4678-4678 The number 1 argument of highTide is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 4687-4687 The number 1 argument of lowTide is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 524-524 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 3312-3312 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 2820-2820 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 2821-2821 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 2690-2690 The number 1 argument of routeEnd is an instance of region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2667-2667 The number 1 argument of routeStart is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 535-535 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 1108-1108 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 1086-1096 An object is an instance of region and the object has an attribute standard ambient temperature and pressure holds during an entity if and only if 298.15 kelvin degree(s) is an air temperature of the object and 29.530 inch mercury(s) is a barometric pressure of the object holds during the entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 13490-13496 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 27837-27844
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27821-27829
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-471
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1314-1319
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 3342-3347
No TPTP formula. May not be expressible in strict first order. Weather.kif 1155-1172
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 1272-1275
No TPTP formula. May not be expressible in strict first order. Geography.kif 795-797
No TPTP formula. May not be expressible in strict first order. Geography.kif 807-809

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 908-919
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 566-576
No TPTP formula. May not be expressible in strict first order. Merge.kif 11367-11376
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27749-27778
No TPTP formula. May not be expressible in strict first order. Dining.kif 913-937
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1010-1018
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1025-1033
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 1144-1156
No TPTP formula. May not be expressible in strict first order. Weather.kif 721-735
No TPTP formula. May not be expressible in strict first order. Weather.kif 1290-1304
No TPTP formula. May not be expressible in strict first order. Weather.kif 1346-1359
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8828-8830
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8824-8826
No TPTP formula. May not be expressible in strict first order. Weather.kif 166-174


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