|
|
   IndependentTaskRelation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9045-9059 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9043-9043 | FlowRegion e' uma sub-classe de Regiao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 62-62 | AirStream e' uma sub-classe de FlowRegion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9033-9033 | Area aquatica em movimento e' uma sub-classe de FlowRegion |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4943-4943 | Tide e' uma sub-classe de FlowRegion |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4931-4931 | WaterCurrent e' uma sub-classe de FlowRegion |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24344-24344 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24343-24343 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24342-24342 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4893-4893 | O argumento numero 1 de FlowFn e' uma instancia de FlowRegion |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 601-601 | O argumento numero 2 de radiusOfMaximumWind e' uma instancia de FlowRegion |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9061-9065 |
|
|
|