No TPTP formula. May not be expressible in strict first order. | Merge.kif 17664-17664 | Attribut visuel est une sous-classe de attribute de perception |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17682-17682 | 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 |