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	Le nombre 1 argument de vesselDeadWeightTonnage est une instance de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2535-2535	Le nombre 2 argument de vesselDeadWeightTonnage est une instance de mesure de masse
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2533-2533	vesselDeadWeightTonnage est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2536-2536	vesselDeadWeightTonnage est une sous-relation 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