| direct-children | documentation | graph |
| Relation | 1769 | The Class of relations. There are two kinds of Relation: Predicate and Function. Predicat... | ^ |
| PartialValuedRelation | 144 | A Relation is a PartialValuedRelation just in case it is not a TotalValuedRelation, i.e. just... | ^ |
| coding | 1 | A 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... | ^ |
| customer | 1 | A 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 ... | ^ |
| acronym | . | (acronym ?STRING ?ENTITY) means that ?STRING consists of the initial (capitalized) letters of a m... | ^ |
| 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 ... | ^ |
| agent | 8 | (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... | ^ |
| experiencer | 3 | (experiencer ?PROCESS ?AGENT) means that ?AGENT experiences the Process ?PROCESS. For example, ... | ^ |
| instrument | 7 | (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... | ^ |
| patient | 32 | (patient ?PROCESS ?ENTITY) means that ?ENTITY is a participant in ?PROCESS that may be moved, sai... | ^ |
| resource | 1 | (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.... | ^ |
| inList | 1 | The analog of element and instance for Lists. (inList ?OBJ ?LIST) means that ?OBJ is in the... | ^ |
| eventPartlyLocated | 2 | (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... | ^ |
| subProposition | 1 | (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... | ^ |
| temporallyBetweenOrEqual | 1 | (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... | ^ |
| superficialPart | 4 | (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... | ^ |
| sibling | 2 | The 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 ... | ^ |
| 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... | ^ |
| agentName | 4 | (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 | ^ |
