No TPTP formula. May not be expressible in strict first order. | Merge.kif 17664-17664 | 子類 VisualAttribute and PerceptualAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17682-17682 | 子類 ColorAttribute and VisualAttribute |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1876-1876 | 子類 GUElementState and VisualAttribute |
![]() |