WaterArea(Area Aquatica) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1448-1448 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14143-14144 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8790-8790 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9808-9808 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14142-14142 | Area Aquatica e' uma sub-classe de Area Geografica |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14054-14054 | O conceito Area Geografica e' completamente decomposto em Area Aquatica + Area terrestre |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 921-921 | Anchorage e' uma sub-classe de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4491-4491 | BodyOfWater e' uma sub-classe de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14160-14160 | Area Aquatica nao-salgada e' uma sub-classe de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 917-917 | Harbor e' uma sub-classe de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2028-2028 | HydropowerWaterArea e' uma sub-classe de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5341-5341 | InlandWaterSystem e' uma sub-classe de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5655-5655 | RiverMouth e' uma sub-classe de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5509-5509 | RiverSystem e' uma sub-classe de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14155-14155 | Area Aquatica salgada e' uma sub-classe de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2937-2937 | ShipBerth e' uma sub-classe de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9038-9038 | Area aquatica parada e' uma sub-classe de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9031-9031 | Area aquatica em movimento e' uma sub-classe de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5484-5484 | StreamWaterConfluence e' uma sub-classe de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1374-1374 | SurfZone e' uma sub-classe de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4932-4932 | WaterCurrent e' uma sub-classe de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5577-5577 | Waterway e' uma sub-classe de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 950-950 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1107-1107 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 626-626 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 157-157 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 160-160 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2311-2311 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 578-578 | |
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 6169-6169 | O argumento numero 2 de ShorelineFn e' uma instancia de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5559-5559 | O argumento numero 2 de flowCurrent e' uma instancia de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2646-2646 | O argumento numero 1 de navigableForDraft e' uma instancia de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2629-2629 | O argumento numero 1 de navigableForShippingTonnage e' uma instancia de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 971-971 | O argumento numero 1 de seaSurfaceTemperature e' uma instancia de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1520-1520 | O argumento numero 1 de significantWaveHeight e' uma instancia de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5687-5687 | O argumento numero 1 de streamOutfall e' uma instancia de Area Aquatica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17565-17565 | O argumento numero 1 de waterDepth e' uma instancia de Area Aquatica |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8120-8130 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 665-671 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3498-3506 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5823-5837 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11196-11203 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5380-5395 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1528-1543 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8184-8197 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 8207-8225 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2287-2292 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14196-14201 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5599-5605 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5322-5328 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5811-5816 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5617-5622 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 571-577 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5232-5237 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14238-14243 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5913-5918 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6072-6079 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6138-6143 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 536-541 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5800-5805 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17677-17682 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5942-5947 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |