TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8312-8313
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8311-8311	OccupationalTrade e' uma sub-classe de ManualLabor
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8310-8310	OccupationalTrade e' uma sub-classe de SkilledOccupation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8316-8316	Profession e' disjunto de OccupationalTrade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20807-20807	Carpenter e' uma instancia de OccupationalTrade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20877-20877	FarmHand e' uma instancia de OccupationalTrade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20887-20887	Plumber e' uma instancia de OccupationalTrade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20891-20891	Potter e' uma instancia de OccupationalTrade
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41610-41610
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41609-41609
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41608-41608

antecedent

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

Mid-level-ontology.kif 8320-8329

consequent

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

Mid-level-ontology.kif 16735-16747