No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 508-508 |
Earphone e' disjunto de Loudspeaker |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26082-26083 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 505-506 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26081-26081 |
Earphone e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 502-502 |
Earphone e' uma sub-classe de ElectricSpeakerDevice |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 503-503 |
Earphone e' uma sub-classe de WearableItem |