TreeView Knowledge Base Browser - laborForceFractionByOccupation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1408-1413
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1404-1404	O argumento numero 1 de laborForceFractionByOccupation e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1405-1405	O argumento numero 2 de laborForceFractionByOccupation e' uma instancia de Atributo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1406-1406	O argumento numero 3 de laborForceFractionByOccupation e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1403-1403	laborForceFractionByOccupation e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1413-1413
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1412-1412
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1411-1411
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33013-33013
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33012-33012
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33011-33011

antecedent

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

Economy.kif 1415-1417

consequent

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

Economy.kif 1419-1424