Meteorite - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3414-3415
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1493-1493
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3413-3413	Meteorite is a subclass of meteoroid

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37357-37357
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37356-37356
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37355-37355

antecedent

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

Geography.kif 3417-3421