TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3215-3215	ComputerStatus e' disjuntamente decomponivel em HostReady, HostDown, + Booting
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2117-2118
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2116-2116	ComputerStatus e' uma sub-classe de Atributo Relacional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3190-3190	Booting e' uma instancia de ComputerStatus
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2505-2505	DeviceFirmwareUpdateMode e' uma instancia de ComputerStatus
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2120-2120	HostDown e' uma instancia de ComputerStatus
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2124-2124	HostReady e' uma instancia de ComputerStatus
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16410-16410
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16409-16409
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16408-16408

appearance as argument number 3

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

QoSontology.kif 2112-2112

O argumento numero 2 de hostStatus e' uma instancia de ComputerStatus