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 1211-1217
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8633-8633 Region is exhaustively partitioned into geographic area and space region
No TPTP formula. May not be expressible in strict first order. Merge.kif 1209-1209 Region is a subclass of object

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4824-4824 The range of flow region is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 804-804 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 816-816 The range of outer boundary is an instance of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 4140-4140 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 15034-15034 Dining area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8650-8650 Flow region is a subclass of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 13784-13784 Geographic area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 9768-9768 Hole is a subclass of region
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 496-496 Hydrophilic side is a subclass of region
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 485-485 Hydrophobic side is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8748-8748 Indoors is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15009-15009 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 8736-8736 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 26006-26006 Patio is a subclass of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 769-769 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 1353-1353 Real estate is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21697-21697 Road is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14996-14996 Sitting area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8674-8674 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 803-803 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 788-788 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 227-227 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 815-815 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 776-776 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 6580-6580 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 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 23955-23955 The number 1 argument of canonicalPlaceName is an instance of region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2697-2697 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 765-765 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 4908-4908 The number 1 argument of highTide is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 4917-4917 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 3403-3403 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 2911-2911 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 2912-2912 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 2784-2784 The number 1 argument of routeEnd is an instance of region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2761-2761 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 2701-2701 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 2679-2689 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 29522-29529
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29506-29514
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 13415-13420
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 3418-3423
No TPTP formula. May not be expressible in strict first order. Weather.kif 2749-2770
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 810-812
No TPTP formula. May not be expressible in strict first order. Geography.kif 822-824

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2470-2481
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 11397-11406
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29432-29462
No TPTP formula. May not be expressible in strict first order. Merge.kif 13422-13428
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 1035-1043
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1050-1058
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 1138-1150
No TPTP formula. May not be expressible in strict first order. Weather.kif 1108-1122
No TPTP formula. May not be expressible in strict first order. Weather.kif 2864-2878
No TPTP formula. May not be expressible in strict first order. Weather.kif 2915-2928
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8722-8724
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8718-8720
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