No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2035-2035 | UserAccount e' uma sub-classe de Objeto Representendo Conteudo Abstrato |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4542-4542 | UserAccount e' uma sub-classe de Account |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2001-2001 | AppleID e' uma sub-classe de UserAccount |