Anchorage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 922-924
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10422-10422
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10420-10420
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10417-10417
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10418-10418
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10421-10421
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10416-10416
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10419-10419
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9887-9887
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10415-10415
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 921-921	Anchorage is a subclass of water area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 926-926	Offshore anchorage is a subclass of anchorage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7398-7398
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7397-7397
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7396-7396