CYC:(wikipedia)(link1)
frame-language: (wikipedia)
Like Object-orient language. A structure with slots: frame name, slot name and slot value. Frames are organized as hierarchy structure for inferring and reasoning.
Predicate:(citation)
A predicate is a verb phrase template that describes a property of objects, or a relationship among objects represented by the variables.
CycL: (wikipedia)
Based on predicate calculus and has a syntax similar to that of the Lisp programming language.
