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

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 1253-1259
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 208-211
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 247-251
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9026-9026 Region is exhaustively partitioned into geographic area and space region
No TPTP formula. May not be expressible in strict first order. Merge.kif 1251-1251 Region is a subclass of object

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4926-4926 The range of flow region is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 797-797 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 809-809 The range of outer boundary is an instance of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 4224-4224 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 15566-15566 Dining area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9043-9043 Flow region is a subclass of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 14031-14031 Geographic area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 9851-9851 Hole is a subclass of region
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 547-547 Hydrophilic side is a subclass of region
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 536-536 Hydrophobic side is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9141-9141 Indoors is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15541-15541 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 9129-9129 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 26634-26634 Patio is a subclass of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 762-762 Perimeter area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Dining.kif 982-982 Playground is a subclass of region
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1354-1354 Real estate is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22217-22217 Road is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15528-15528 Sitting area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9067-9067 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 796-796 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 781-781 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 1899-1899 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 808-808 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 769-769 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 6670-6670 The number 3 argument of velocity is an instance of region
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1314-1314 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 189-189 The number 2 argument of baptizedplace is an instance of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24580-24580 The number 1 argument of canonical place name is an instance of region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2690-2690 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 786-786 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 870-870 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 850-850 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 860-860 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 5010-5010 The number 1 argument of high tide is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 5019-5019 The number 1 argument of low tide 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 3396-3396 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 2904-2904 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 2905-2905 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 2777-2777 The number 1 argument of route end is an instance of region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2754-2754 The number 1 argument of route start is an instance of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31194-31194 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 2702-2702 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 2680-2690 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. Mid-level-ontology.kif 30120-30127
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30104-30112
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. Merge.kif 13655-13660
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1326-1331
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 3496-3501
No TPTP formula. May not be expressible in strict first order. Weather.kif 2750-2771
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. Geography.kif 803-805
No TPTP formula. May not be expressible in strict first order. Geography.kif 815-817

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2471-2482
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 11558-11567
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30030-30060
No TPTP formula. May not be expressible in strict first order. Merge.kif 13662-13668
No TPTP formula. May not be expressible in strict first order. Dining.kif 956-980
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1057-1065
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1072-1080
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 1139-1151
No TPTP formula. May not be expressible in strict first order. Weather.kif 1109-1123
No TPTP formula. May not be expressible in strict first order. Weather.kif 2865-2879
No TPTP formula. May not be expressible in strict first order. Weather.kif 2916-2929
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9115-9117
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9111-9113
No TPTP formula. May not be expressible in strict first order. Weather.kif 178-186


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 3.0 is open source software produced by Articulate Software and its partners