No TPTP formula. May not be expressible in strict first order. | Merge.kif 17721-17721 | Attribut visuel est une sous-classe de attribute de perception |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17739-17739 | Attribut de couleur est une sous-classe de attribut visuel |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1876-1876 | GUElementState est une sous-classe de attribut visuel |