SpaceRegion |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9095-9095 | SpaceRegion est disjoint de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9097-9098 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9096-9096 | SpaceRegion est compl�tement d�compos� en AtmosphericRegion + OuterSpaceRegion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9094-9094 | SpaceRegion est une sous-classe de r�gion |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9055-9055 | AtmosphericRegion est une sous-classe de SpaceRegion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9100-9100 | OuterSpaceRegion est une sous-classe de SpaceRegion |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54416-54416 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54415-54415 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54414-54414 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9053-9053 | R�gion est compl�tement d�compos� en secteur g�ographique + SpaceRegion |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17729-17736 |
|