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 |