Relation pm#relation_from_relation_type (pm#relation_type,*)
supertype: pm#relation_from_type type of relations from a concept/relation type, i.e. in RDFS terminology, from a class or a property
subtype: pm#relation_from_binary_relation_type (pm#binary_relation_type,*)
subtype: pm#relation_to_another_binary_relation_type (pm#binary_relation_type,pm#binary_relation_type)
subtype: owl#equivalent_property (pm#binary_relation_type,pm#binary_relation_type) in WebKB, use the link '='
subtype: rdfs#sub_property_of (pm#binary_relation_type,pm#binary_relation_type) in WebKB, use the link '<'
subtype: pm#inverse__reverse (pm#binary_relation_type -> pm#binary_relation_type) for inverseOf(R,S) read: R is the inverse of S; i.e. if R(x,y) then S(y,x) and vice versa; in WebKB, use the link '-'
subtype: rdfs#domain (pm#binary_relation_type,rdfs#class)
subtype: rdfs#range (pm#binary_relation_type,rdfs#class)
subtype: sumo#domain (pm#relation_type,sumo#positive_integer,sumo#set_or_class) the formula (sumo#domain ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be an instance of ?CLASS
subtype: sumo#domain_subclass (pm#relation_type,sumo#positive_integer,sumo#set_or_class) the formula (sumo#domainSubclass ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be a subclass of ?CLASS
subtype: sumo#range (pm#function_type,sumo#set_or_class) gives the range of a function, i.e. all of the values assigned by the function are instances of sumo#class
subtype: sumo#range_subclass (pm#function_type,sumo#set_or_class) all of the values assigned by the function in the 1st argument are subclasses of the 2nd argment
subtype: sumo#valence (pm#relation_type,sumo#positive_integer) specifies the number of arguments that a relation can take; if a relation does not have a fixed number of arguments, it does not have a valence and it is an instance of variable_arity_relation, e.g., sumo#holds is a variable_arity_relation
subtype: sumo#disjoint_relation (pm#relation_type+) (sumo#disjointRelation @ROW) means that any two relations in @ROW have no tuples in common; as a consequence, the intersection of all of the relations in @ROW is the null set
subtype: sumo#holds__hold (pm#relation_type,*) (holds P N1 ... NK) is true when the tuple of objects denoted by N1,..., NK is an element of the relation P
subtype: sumo#assignment_fn (pm#function_type,*) if F is a function with a value for the objects denoted by N1,..., NK, then (sumo#assignmentFn F N1 ... NK) is the value of applying F to the objects denoted by N1,..., NK; otherwise, the value is undefined
subtype: sumo#distributes__distribute (pm#binary_function_type,pm#binary_function_type) a binary_function ?F1 is distributive over another binary_function ?F2 just in case (?F1 ?INST1 (?F2 ?INST2 ?INST3)) is equal to (?F2 (?F1 ?INST1 ?INST2) (?F1 ?INST1 ?INST3)), for all ?INST1, ?INST2, and ?INST3