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

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4712-4712 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 4084-4084 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 13274-13274 Dining area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8746-8746 Flow region is a subclass of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 13045-13045 Geographic area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Merge.kif 9302-9302 Hole is a subclass of region
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 427-427 Hydrophilic side is a subclass of region
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 416-416 Hydrophobic side is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8850-8850 Indoors is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13250-13250 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 8838-8838 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 24769-24769 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 1308-1308 Real estate is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20089-20089 Road is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13237-13237 Sitting area is a subclass of region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8770-8770 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 245-245 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 6390-6390 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 22415-22415 The number 1 argument of canonicalPlaceName is an instance of region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2668-2668 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 4794-4794 The number 1 argument of highTide is an instance of region
No TPTP formula. May not be expressible in strict first order. Geography.kif 4803-4803 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 3374-3374 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 2882-2882 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 2883-2883 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 2755-2755 The number 1 argument of routeEnd is an instance of region
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2732-2732 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 2695-2695 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 2673-2683 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 12684-12690 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 28316-28323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28300-28308
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 3377-3382
No TPTP formula. May not be expressible in strict first order. Weather.kif 2743-2764
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 1152-1155
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 2464-2475
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 10813-10822
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28228-28257
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 1022-1030
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1037-1045
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 1109-1123
No TPTP formula. May not be expressible in strict first order. Weather.kif 2858-2872
No TPTP formula. May not be expressible in strict first order. Weather.kif 2909-2922
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. Mid-level-ontology.kif 8820-8822
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