CycL – The basics Language that makes up most of Cyc Some similarities to LISP #$Collection = Class, something that has instances #$Individual ◦non-se
{"Image DocumentName": "CycL \u2013 The basics # Collection = Class, something that has instances", "Image ImageDescription": "Language that makes up most of Cyc. Some similarities to LISP. # Collection = Class, something that has instances. # Individual. non-set/class (incl. relations, strings, numbers) # isa = instance of. # genls = subclass of ( is-a ) Operators are built-in code-supported # Predicates: # and # or # not # implies # arity # thereExists. # assertedSentence # knownSentence # arg1Isa. # interArg[Isa/Genl/Reln/Format]N-M # resultIsa.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}