Data Dictionary

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z a b c d e f g h i j k l m n o p q r s t u v w x y z

Term Doc

keyName (keyName ?S1 ?S2) means that ?S1 is the subString of ?S2 (i.e., the component name) typically used for alphabetical name indexing.[and full SUMO definition]

knows The epistemic predicate of knowing. (knows ?AGENT ?FORMULA) means that ?AGENT knows the proposition expressed by ?FORMULA. Note that knows entails conscious awareness, so this Predicate cannot be used to express tacit or subconscious or unconscious knowledge.[and full SUMO definition]

Term	Doc
keyName	(keyName ?S1 ?S2) means that ?S1 is the subString of ?S2 (i.e., the component name) typically used for alphabetical name indexing.[and full SUMO definition]
knows	The epistemic predicate of knowing. (knows ?AGENT ?FORMULA) means that ?AGENT knows the proposition expressed by ?FORMULA. Note that knows entails conscious awareness, so this Predicate cannot be used to express tacit or subconscious or unconscious knowledge.[and full SUMO definition]