sumo#asymmetric_relation an antisymmetric and irreflexive relation
subtype: pm#case_relation_type pm#propositional_attitude_relation_type
instance: pm#asymmetric_relation sumo#immediate_instance sumo#immediate_subclass sumo#range sumo#range_subclass sumo#valence sumo#documentation sumo#successor_attribute sumo#front_fn sumo#back_fn sumo#probability_fn sumo#proper_part sumo#contains sumo#member sumo#contains_information sumo#leader sumo#attribute sumo#manner sumo#in_list sumo#closed_on sumo#reflexive_on sumo#irreflexive_on sumo#partial_ordering_on sumo#total_ordering_on sumo#trichotomizing_on sumo#equivalence_relation_on sumo#causes sumo#causes_subclass sumo#time sumo#holds_during sumo#exploits sumo#has_purpose sumo#has_skill sumo#crosses sumo#penetrates sumo#possesses sumo#precondition sumo#realization sumo#expressed_in_language sumo#uses sumo#identity_element sumo#element sumo#cardinality_fn sumo#measure sumo#duration sumo#frequency sumo#meets_temporally sumo#date sumo#surface sumo#interior_part sumo#hole sumo#hole_host_fn sumo#partially_fills sumo#properly_fills sumo#completely_fills sumo#fills sumo#hole_skin_fn sumo#geographic_subregion sumo#geopolitical_subdivision sumo#developmental_form sumo#inhabits sumo#authors sumo#editor sumo#publishes sumo#version sumo#parent sumo#husband sumo#wife sumo#citizen sumo#modal_attribute
equal: pm#asymmetric_relation_type (pm)
supertype: pm#irreflexive_relation_type r is irreflexive if r(?i,?i) holds for no value of ?i
supertype: pm#binary_relation_type all binary relation types are instance of that object
supertype: pm#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: pm#1st_order_type__1stordertype__type1 all 1st order types are implicitely or explicitely instance of that 2nd-order type
supertype: pm#type second-order type or more
supertype: pm#non_spatial_collection__nonspatialcollection__true_collection something gathering separated things (entities/situations) and that is not a spatial object
supertype: pm#non_spatial_object_that_is_not_an_attribute_or_quality_or_measure
supertype: pm#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: pm#entity something that can be "involved" in a situation
supertype: pm#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: cyc#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: cyc#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: pm#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: pm#collection something gathering separated things (entities/situations)
supertype: pm#divisible_entity__divisibleentity many classifications under this category are application-dependant
supertype: pm#entity something that can be "involved" in a situation
supertype: pm#divisible_thing__divisiblething
supertype: pm#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: sumo#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: pm#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: pm#antisymmetric_relation_type when for distinct ?INST1 and ?INST2, (?REL ?INST1 ?INST2) implies not (?REL ?INST2 ?INST1), that is, for all ?INST1 and ?INST2, (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST1) imply that ?INST1 and ?INST2 are identical; it is possible for an antisymmetric relation to be a reflexive relation
supertype: pm#binary_relation_type all binary relation types are instance of that object
No statement uses or specializes pm#asymmetric_relation_type; click here to add one.