TreeView Knowledge Base Browser - vesselDeadWeightTonnage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2537-2542
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2534-2534	O argumento numero 1 de vesselDeadWeightTonnage e' uma instancia de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2535-2535	O argumento numero 2 de vesselDeadWeightTonnage e' uma instancia de Medida de Massa
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2533-2533	vesselDeadWeightTonnage e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2536-2536	vesselDeadWeightTonnage e' uma sub-relacao de vesselDisplacement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2587-2587
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2586-2586
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2585-2585
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61574-61574
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61573-61573
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61572-61572