KB Graph : Welcome guest : log in
Home |  ]  KB:  Language:   

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Relation1769The Class of relations. There are two kinds of Relation: Predicate and Function. Predicat...^
    PartialValuedRelation144A Relation is a PartialValuedRelation just in case it is not a TotalValuedRelation, i.e. just...^
        coding1A relation between a ContentBearingObject and a CodingScheme that specifies how the content is ...^
        filename.A relation between a SymbolicString and an instance of DigitalData that specified the filename ...^
        mimeType.A relation between ComputerData and the MIME type it is coded in, with respect to IETF RFC 2045.^
        areaOfOperation.An operational area defined by the joint force commander for land and naval forces. Areas of operat...^
        conjugate.(conjugate ?COMPOUND1 ?COMPOUND2) means that ?COMPOUND1 and ?COMPOUND2 are identical CompoundSu...^
        customer1A very general relation that exists whenever there is a FinancialTransaction between the two Ag...^
        hostileForces.(hostileForces ?UNIT1 ?UNIT2) means that the MilitaryUnits ?UNIT1 and ?UNIT2 are, respectively, a...^
        stored.(stored ?REC ?OBJ) means that some ContentBearingObject, encoded in some format, is saved in so...^
        SeriesVolumeFn.A BinaryFunction that maps a type of Series (e.g. the Encyclopedia_Britannica or the Popular_Me...^
        PeriodicalIssueFn.A BinaryFunction that maps a subclass of Periodical and a number to all of the issues of the ...^
        alias.(alias ?STRING ?AGENT) means that ?STRING is an alternate identifier for ?AGENT, and is likely be...^
        legalGuardian.(holdsDuring ?T1 (legalGuardian ?H1 ?H2)) means that during the time ?T1, ?H2 has legal authori...^
        ancestorOrganization.(ancestorOrganization ?ORG1 ?ORG2) means that the Organization ?ORG1 descended from the Organiz...^
        SubstringFn.(SubstringFn ?SymbolicString ?NonnegativeInteger-1 ?NonnegativeInteger-2) denotes a string ...^
        suffers.The opposite of benefits. The Agent does not want the action to occur.^
        inverse.The inverse of a BinaryRelation is a Relation in which all the tuples of the original Relatio...^
        disjointRelation.This predicate relates two Relations. (disjointRelation ?REL1 ?REL2) means that the two relatio...^
        successorAttributeClosure.The transitive closure of successorAttribute. (successorAttributeClosure ?ATTR1 ?ATTR2) means t...^
        FrontFn.A Function that maps an Object to the side that generally receives the most attention or that t...^
        BackFn.A Function that maps an Object to the side that is opposite the FrontFn of the Object. Note...^
        contains.The relation of spatial containment for two separable objects. When the two objects are not separab...^
        ExtensionFn.A UnaryFunction that maps an Attribute into the Class whose condition for membership is the &...^
        AttrFn.For given class and for given attribute, return a subclass of the class of the argument having the ...^
        agent8(agent ?PROCESS ?AGENT) means that ?AGENT is an active determinant, either animate or inanimate, ...^
        destination.(destination ?PROCESS ?GOAL) means that ?GOAL is the target or goal of the Process ?PROCESS. For ex...^
        experiencer3(experiencer ?PROCESS ?AGENT) means that ?AGENT experiences the Process ?PROCESS. For example, ...^
        instrument7(instrument ?EVENT ?TOOL) means that ?TOOL is used by an agent in bringing about ?EVENT and that ?T...^
        origin.(origin ?PROCESS ?SOURCE) means that ?SOURCE indicates where the ?Process began. Note that this r...^
        patient32(patient ?PROCESS ?ENTITY) means that ?ENTITY is a participant in ?PROCESS that may be moved, sai...^
        resource1(resource ?PROCESS ?RESOURCE) means that ?RESOURCE is present at the beginning of ?PROCESS, is us...^
        resourceExhausted.(resourceExhausted ?PROCESS ?RESOURCE) means that ?RESOURCE is present at the beginning of ?PROCE...^
        result.(result ?ACTION ?OUTPUT) means that ?OUTPUT is a product of ?ACTION. For example, house is a resu...^
        ListOrderFn.(ListOrderFn ?LIST ?NUMBER) denotes the item that is in the ?NUMBER position in the List ?LIST....^
        inList1The analog of element and instance for Lists. (inList ?OBJ ?LIST) means that ?OBJ is in the...^
        eventPartlyLocated2(eventPartlyLocated ?PROC ?OBJ) means that some subProcess of Process ?PROC is located in O...^
        penetrates.(penetrates ?OBJ1 ?OBJ2) means that ?OBJ1 is connected to ?OBJ2 along at least one whole dimensio...^
        hindersSubclass.A very general Predicate. (hindersSubclass ?PROC1 ?PROC2) means that the Process ?PROC1 hinde...^
        preventsSubclass.A very general Predicate. (preventsSubclass ?PROC1 ?PROC2) means that ?PROC1 preventsSubclass the...^
        prevents.A very general Predicate. (prevents ?PROC1 ?PROC2) means that an instance of ?PROC1 prevents the ...^
        hinders.A general Predicate, where (hinders ?PROC1 ?PROC2) means that an instance of ?PROC1 decreasesLi...^
        uniqueIdentifier.The class of names that uniquely identify an instance of Entity. Some examples of uniqueIdent...^
        subProposition1(subProposition ?PROP1 ?PROP2) means that ?PROP1 is a Proposition which is a proper part of the...^
        subPlan.(subPlan ?PLAN1 ?PLAN2) means that ?PLAN1 is a Plan which is a proper part of ?PLAN2. This rela...^
        DivisionFn.If ?NUMBER1 and ?NUMBER2 are Numbers, then (DivisionFn ?NUMBER1 ?NUMBER2) is the result of divi...^
        GreatestCommonDivisorFn.(GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the greatest common divisor of ?N...^
        IntegerSquareRootFn.(IntegerSquareRootFn ?NUMBER) returns the integer square root of ?NUMBER.^
        LeastCommonMultipleFn.(LeastCommonMultipleFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the least common multiple of ?NUMBE...^
        RemainderFn.(RemainderFn ?NUMBER ?DIVISOR) is the remainder of the number ?NUMBER divided by the number ?DIVISO...^
        average.A partial function that relates a List to a RealNumber, provided that the List only has list ...^
        KappaFn.A class-forming operator that takes two arguments: a variable and a formula containing at least one...^
        InitialNodeFn.A UnaryFunction that maps a GraphArc to the initial node of the GraphArc. Note that this is a...^
        TerminalNodeFn.A UnaryFunction that maps a GraphArc to the terminal node of the GraphArc. Note that this is ...^
        altitude.A TernaryPredicate that is used to state the distance between the top of an Object and anot...^
        temporallyBetween.(temporallyBetween ?POINT1 ?POINT2 ?POINT3) means that the TimePoint ?POINT2 is between the T...^
        temporallyBetweenOrEqual1(temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) means that the TimePoint ?POINT1 is before o...^
        TimeIntervalFn.A BinaryFunction that takes two TimePoints as arguments and returns the TimeInterval defined ...^
        RecurrentTimeIntervalFn.A function that is useful for generating recurring time intervals. For example, (RecurrentTimeInt...^
        MonthFn.A BinaryFunction that maps a subclass of Month and a subclass of Year to the class containing...^
        DayFn.A BinaryFunction that assigns a PositiveRealNumber and a subclass of Months to the Days wit...^
        HourFn.A BinaryFunction that assigns a PositiveRealNumber and a subclass of Days to the Hours with...^
        MinuteFn.A BinaryFunction that assigns a PositiveRealNumber and a subclass of Hours to the Minutes w...^
        SecondFn.A BinaryFunction that assigns a PositiveRealNumber and a subclass of Minutes to the Seconds...^
        MorningFn.A UnaryFunction that returns the class of Mornings of the given Day.^
        AfternoonFn.A UnaryFunction that returns the class of Afternoons of the given Day.^
        EveningFn.A UnaryFunction that returns the class of Evenings of the given Day.^
        WeekFn.A BinaryFunction that assigns a PositiveRealNumber and a subclass of Year to the Week withi...^
        QuarterFn.A BinaryFunction that assigns a PositiveRealNumber and a subclass of Year to the Quarter wi...^
        overlapsPartially.(overlapsPartially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 have part(s) in common, but neither ?O...^
        superficialPart4(superficialPart ?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 that has no interior parts of i...^
        attends.(attends ?DEMO ?PERSON) means that ?PERSON attends, i.e. is a member of the audience, of the perf...^
        atomicNumber.(atomicNumber ?ELEMENT ?NUMBER) means that the ElementalSubstance ?ELEMENT has the atomic numbe...^
        EditionFn.A BinaryFunction that maps a type of text (e.g. Agatha Christie's Murder_on_the_Orient_Express) a...^
        connectedEngineeringComponents.This is the most general connection relation between EngineeringComponents. If (connectedEngine...^
        mother.The general relationship of motherhood. (mother ?CHILD ?MOTHER) means that ?MOTHER is the biologi...^
        father.The general relationship of fatherhood. (father ?CHILD ?FATHER) means that ?FATHER is the biologi...^
        sibling2The relationship between two Organisms that have the same mother and father. Note that this r...^
        brother.The general relationship of being a brother. (brother ?MAN ?PERSON) means that ?MAN is the brothe...^
        sister.The general relationship of being a sister. (sister ?WOMAN ?PERSON) means that ?WOMAN is the sist...^
        spouse.The relationship of marriage between two Humans.^
        husband.(husband ?MAN ?WOMAN) means that ?MAN is the husband of ?WOMAN.^
        GovernmentFn.(GovernmentFn ?AREA) denotes the Government of the GeopoliticalArea ?AREA. For example, (Go...^
        direction.(direction ?PROC ?ATTR) means that the Process ?PROC is moving in the direction ?ATTR. For exam...^
        modalAttribute.A BinaryRelation that is used to state the normative force of a Proposition. (modalAttribute ...^
        acronym.(acronym ?STRING ?ENTITY) means that ?STRING consists of the initial (capitalized) letters of a m...^
        spellingInLanguage.The predicate. (spellingInLanguage ?SYMBOLICSTRING ?WORD ?LANGUAGE) means that the SymbolicStri...^
        keyName.(keyName ?S1 ?S2) means that ?S1 is the subString of ?S2 (i.e., the component name) typically u...^
        agentName4(agentName ?STRING ?OBJ) means that ?STRING is a full or partial name for the AutonomousAgent ?...^
        agreementAdoptionDate.(agreementAdoptionDate ?AGR ?TIME) means that the agreement ?AGR was adopted on the date indicate...^
        agreementEffectiveDuring.(agreementEffectiveDuring ?AGR ?DATE) means that the agreement ?AGR is effective during the time ...^
        diplomaticRelations.(diplomaticRelations ?COUNTRY1 ?COUNTRY2) means that there are official diplomatic relations betw...^
        exportPartner.(exportPartner ?AGENT1 ?AGENT2) means that the AutonomousAgent ?AGENT1 exports goods to the A...^
        importPartner.(importPartner ?AGENT1 ?AGENT2) means that the AutonomousAgent ?AGENT1 imports goods from the &...^
        catalogItem.(catalogItem ?OBJ ?CATALOG) means that an instance of ?OBJ is a member of ?CATALOG^

Relation: Term:

Levels "above": Levels "below": Total term limit: Show instances:
All relations: Restrict to file:
Columns to display:

View format: text


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners