pm#binary_predicate_type the class of predicates relating two items - its valence is two
subtype: case_relation_type the class of predicates relating the spatially distinguished parts of a process. e.g., the agent, patient or destination of an action, the flammable substance in a burning process, or the water that falls in rain
instance: instance inverse subclass subrelation equal range range_subclass valence documentation disjoint related_internal_concept sub_attribute successor_attribute successor_attribute_closure entails material sub_collection contains_information leader property less_than greater_than less_than_or_equal_to greater_than_or_equal_to increases_likelihood decreases_likelihood independent_probability in_scope_of_interest in_list sub_list initial_list closed_on reflexive_on irreflexive_on partial_ordering_on total_ordering_on trichotomizing_on equivalence_relation_on distributes causes causes_subclass copy time holds_during exploits has_purpose has_skill partly_located traverses possesses precondition inhibits prevents refers subsumes_content_class subsumes_content_instance expressed_in_language sub_proposition uses identity_element element measure larger smaller duration frequency temporal_part before_or_equal overlaps_temporally meets_temporally earlier cooccur date connected hole sub_process transaction_amount geographic_subregion developmental_form inhabits authors editor publishes version wears family_relation parent sibling legal_relation employs citizen premise conclusion consistent faces modal_attribute geometric_part parallel angular_measure line_measure
equal: binary_predicate (pm)
type: class_of_inheritable_relation_type each instance RT of this class is a subclass of the 2nd-order_type pm#relation_type and the properties of RT can be inherited downward in the class hierarchy via the "subrelation" predicate
supertype: predicate_type__predicatetype a sentence-forming relation with each tuple being a finite, ordered sequence of objects
supertype: relation_type there are three kinds of relation(_types): pm#predicate_type, pm#function_type and sumo#list; both predicates and functions denote sets of ordered n-tuples; the difference between these two classes is that predicates cover formula-forming operators, while functions cover term-forming operators; a list, on the other hand, is a particular ordered n-tuple
supertype: 1st_order_type__1stordertype__type1 all 1st order types are implicitely or explicitely instance of that 2nd-order type
supertype: type second-order type or more
supertype: non_spatial_collection__nonspatialcollection__true_collection something gathering separated things (entities/situations) and that is not a spatial object
supertype: non_spatial_object_that_is_not_an_attribute_or_quality_or_measure
supertype: non_spatial_object__nonspatialobject abstraction or description content/medium/container (a description medium that has some spatial feature is both instance of sumo#object and pm#non_spatial_object
supertype: entity something that can be "involved" in a situation
supertype: thing__something___T__t___3D_or_4D_thing_or_anything_else any category (type or individual) is instance of this type; any type is also a subtype of this type
supertype: intangible The collection of things that are not physical -- are not made of, or encoded in, matter. Every cyc#Collection is a cyc#intangible (even if its instances are tangible), and so are some cyc#individuals. Caution: do not confuse `tangibility' with `perceivability' -- humans can perceive light even though it's intangible--at least in a sense.
supertype: partially_intangible__partiallyintangible The collection of things that either are wholly intangible (see cyc#Intangible) or have at least one intangible (i.e. immaterial) part (see cyc#intangibleParts). This includes intangible individuals, such as instances of cyc#Number-General or cyc#Agreement, as well as non-individuals (all of which are intangible), i.e. instances of cyc#SetOrCollection. It also includes things that have both tangible and intangible components (see cyc#CompositeTangibleAndIntangibleObject), such as a printed copy of a newspaper (as its information content is intangible) or a person (as her mental states are intangible).
supertype: thing__something___T__t___3D_or_4D_thing_or_anything_else any category (type or individual) is instance of this type; any type is also a subtype of this type
supertype: collection something gathering separated things (entities/situations)
supertype: divisible_entity__divisibleentity many classifications under this category are application-dependant
supertype: entity something that can be "involved" in a situation
supertype: divisible_thing__divisiblething
supertype: thing__something___T__t___3D_or_4D_thing_or_anything_else any category (type or individual) is instance of this type; any type is also a subtype of this type
supertype: abstract__entity_without_spatial_feature e.g., knowledge, motivation, measure; properties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium; instances of sumo#abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place or time without some physical encoding or embodiment
supertype: non_spatial_object__nonspatialobject abstraction or description content/medium/container (a description medium that has some spatial feature is both instance of sumo#object and pm#non_spatial_object
supertype: binary_relation_type all binary relation types are instance of that object
supertype: relation_type there are three kinds of relation(_types): pm#predicate_type, pm#function_type and sumo#list; both predicates and functions denote sets of ordered n-tuples; the difference between these two classes is that predicates cover formula-forming operators, while functions cover term-forming operators; a list, on the other hand, is a particular ordered n-tuple
No statement uses or specializes binary_predicate_type; click here to add one.