TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3271-3273
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3275-3275	Le nombre 1 argument de ShipCrewFn est une instance de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3270-3270	ShipCrewFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3276-3276	Le domaine de ShipCrewFn est une instance de groupe

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2267-2267
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2266-2266
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2265-2265
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52665-52665
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52664-52664
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52663-52663