SubmergedLandArea - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6069-6070
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6067-6067	SubmergedLandArea est une sous-classe de secteur g�ographique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6088-6088	ContinentalMargin est une sous-classe de SubmergedLandArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6081-6081	ContinentalShelf est une sous-classe de SubmergedLandArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1058-1058	MaritimeShelfArea est une sous-classe de SubmergedLandArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6104-6104	SeabedArea est une sous-classe de SubmergedLandArea
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55746-55746
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55745-55745
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55744-55744

antecedent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 6072-6079

consequent

No TPTP formula. May not be expressible in strict first order.

Weather.kif 1594-1604