Intangible object relating predicate

Unique Tag: [ IntangibleObjectRelatingPredicate ]

A collection of IntangibleObjectPredicates used to assert relationships between intangible objects. As such, each instance of intangible object relating predicate has at least two of its argument-places constrained (see Arg Isa) to instances of intangible individual object or some subcollection thereof. Examples include Sub Algorithms, Max Quant Value, Mean Quant Value, Expected Value, Derivatives Of Function, Range Of Distribution, Inverse Quant Functions Nonsymmetric, and lessLikelyThan.

Examples of Intangible object relating predicate Include:
Abductive Explanation Mt
Accessible Discourse Referent In UDS
Actor Slot Of Mt
Additional Consequent
Agreement For Account
Algorithm Computes
Alienation clause
Anaphoric Discourse Referent In UDS
Anchor Point In Line Segment
Anti Symmetric In Args
Antisymmetric On
Approximately
Arbitrarily Close Points
Arg 1 Format
Arg 1 Genl
Arg 1 Genl Quantity
Arg 1 Isa
Arg 1 Sometimes Isa
Arg 1 not isa
Arg 2 Format
Arg 2 Genl
Arg 2 Genl Quantity
Arg 2 Isa
Arg 2 Sometimes Isa
Arg 2 not isa
Arg 3 Format
Arg 3 Genl
Arg 3 Genl Quantity
Arg 3 Isa
Arg 3 Sometimes Isa
Arg 3 not isa
Arg 4 Format
Arg 4 Genl
Arg 4 Genl Quantity
Arg 4 Isa
Arg 4 Sometimes Isa
Arg 4 not isa
Arg 5 Format
Arg 5 Genl
Arg 5 Genl Quantity
Arg 5 Isa
Arg 5 Sometimes Isa
Arg 5 not isa
Arg 6 Format
Arg 6 Genl
Arg 6 Genl Quantity
Arg 6 Isa
Arg 6 Sometimes Isa
Arg 7 Isa
Arg And Rest Genl
Arg Genl
Arg Genl Quantity
Arg isa for type
Arg not isa
Args Genl
Args Isa
Args not isa
Arity
Arity Max
Arity Min
Asymmetric In Args
At Least As Likely As
Atomic spatial part of
Atomic tangential proper part of connection
Available Coreferent In UDS
Axis Of Surface Of Revolution
Banned work
Base Set
Belief Statements
Bios Alert Report Initialized By
Bios Microtheory Initialized By
Boundary Cluster Of Space Region
Boundary Point Set Of Space Region
Bpv concurrent microtheories
Bpv conflict
Bpv location conflict
C
COA background scenario
Candidate Path Triple
Co Genl Preds
Co Integral Scalars
Coextensional Entry Format In Args
Colinear Quantities
Collinear
Comparable Scalars
Compiled Version Of Code
Completion
Component part of
Computer Process Algorithms
Computer Process Max Algorithm
Concurrent Reports For Unit
Confirmation Mt
Constrains Arg
Contiguous After Mt
Contradictory Mt
Contradictory Preds
Convex Space Region Of
Coordinate Value Predicate Of System
Coplanar
Copunctual Lines
Cotemporal Proper Sub Events
Cotemporal Sub Events
Cultural Specification Parts
Culture Contains Convention
Culture Contains Culture
Curve On Surface
DC
DR
Data Mt Theory
Derivatives Of Function
Direct spatial sum of
Disembarcation Subevent
Domain Assumptions
Dominant Node
Draft Of Textual Work
EC
EQ
El Correlates
El Inverse
Element Of
Ellipsoidal section
Embarcation Subevent
Enemy's desired final position relative to friendly forces
Equal Strings Case Insensitive
Equator Of Spheroid
Equiv Algorithms
Equiv Preds WRT Types
Evaluation Defn
Exceeds criterion
Execution Of Plan
Expansion
Expansion Defn
Expected Value
Extension Of Theory
Exterior Point Set Of Space Region
Externally Tangent At Point
Fails criterion
Final Sports Event
Final enemy force position desired by friendly force position
Find Analog
Find Analogs
First subevent
Following Value
Function Onto Set
Function into set
General COA context
Generalizations
Generalized spatial product of
Generalized spatial sum of
Generatrix Of Surface Of Revolution
Generic function amount
Genl Algorithms
Genl Inverse
Genl Inverse WRT Types
Genl Mt
Genl Mt For Application Lexical
Genl Mt Vocabulary
Genl Or Spec Preds
Genl Preds
Genl Preds Entry Format In Args
Genl Preds WRT Args
Genl Preds WRT Quoted Args
Genl Preds WRT Type Unary
Genl Preds WRT Types
Genl Preds WRT Types Ternary
Genl mt culture
Genls Entry Format In Args
Geometrically Inside Space Region
Geometrically Inside Space Region Closed
Geometrically Inside Space Region Open
Goal Supports Goal
Great Ellipse Of Ellipsoid
Great Ellipse Of Spheroid
Great circle
Greater Than
Greater Than Or Equal To
Has mission element
Historically Derived Theory
Imported IPDA Microtheory
Imported interaction context
Inbound leg
Incident In Space Region
Initial enemy position relative to friendly force position
Initial situation
Initial transfer-out subevent
Inside Space Region
Inside Space Region Inverse
Instantaneous Sub Events
Instructions Algorithms
Instructions Followed
Instructions Max Algorithm
Integer Between
Integral WRT Unit
Integrals of function
Inter Arg Equals Isa
Inter Arg Equals Isa 1 2
Inter Arg Equals Isa 1 3
Inter Arg Equals Isa 1 4
Inter Arg Equals Isa 1 5
Inter Arg Equals Isa 2 1
Inter Arg Equals Isa 2 3
Inter Arg Equals Isa 2 4
Inter Arg Equals Isa 2 5
Inter Arg Equals Isa 3 1
Inter Arg Equals Isa 3 2
Inter Arg Equals Isa 3 4
Inter Arg Equals Isa 3 5
Inter Arg Equals Isa 4 1
Inter Arg Equals Isa 4 2
Inter Arg Equals Isa 4 3
Inter Arg Equals Isa 4 5
Inter Arg Equals Isa 5 1
Inter Arg Equals Isa 5 2
Inter Arg Equals Isa 5 3
Inter Arg Equals Isa 5 4
Inter Arg Format 1 1
Inter Arg Format 1 5
Inter Arg Format 2 2
Inter Arg Format 2 5
Inter Arg Format 3 1
Inter Arg Format 3 3
Inter Arg Format 3 5
Inter Arg Format 4 3
Inter Arg Format 4 4
Inter Arg Format 5 1
Inter Arg Format 5 2
Inter Arg Format 5 4
Inter Arg Format 5 5
Inter Arg Genl 1 2
Inter Arg Genl 2 4
Inter Arg Genl Isa 2 1
Inter Arg Isa 1 2
Inter Arg Isa 1 3
Inter Arg Isa 1 4
Inter Arg Isa 1 5
Inter Arg Isa 2 1
Inter Arg Isa 2 3
Inter Arg Isa 2 4
Inter Arg Isa 2 5
Inter Arg Isa 3 1
Inter Arg Isa 3 2
Inter Arg Isa 3 4
Inter Arg Isa 3 5
Inter Arg Isa 4 1
Inter Arg Isa 4 2
Inter Arg Isa 4 3
Inter Arg Isa 4 5
Inter Arg Isa 5 1
Inter Arg Isa 5 2
Inter Arg Isa 5 3
Inter Arg Isa 5 4
Inter Arg Isa Genl 1 2
Inter Arg Reln 1 2
Inter Arg Reln 1 3
Inter Arg Reln 1 4
Inter Arg Reln 1 5
Inter Arg Reln 2 1
Inter Arg Reln 2 3
Inter Arg Reln 2 4
Inter Arg Reln 3 1
Inter Arg Reln 3 2
Inter Arg Reln 3 4
Inter Arg Reln 4 1
Inter Arg Reln 4 2
Inter Arg Reln 4 3
Inter arg genl 2 1
Inter arg not genl 1 2
Inter arg not isa 1 2
Inter arg not isa 1 3
Inter arg not isa 1 4
Inter arg not isa 1 5
Inter arg not isa 2 3
Inter arg not isa 2 4
Inter arg not isa 2 5
Inter arg not isa 3 4
Inter arg not isa 3 5
Inter arg not isa 4 5
Interconvertible Units
Interior Point Set Of Space Region
Interior region of
Internally Tangent At Point
Interval Entry Format In Args
Interval Range
Inverse Quant Functions Nonsymmetric
Isa
Isa Both
Isa Instance Of Type
Isa relevant instance
Isomorphic Formulas
Known Antecedent Rule
Ks has template mt
Ks sibling ks
Less Than
Less Than Or Equal To
Likely More Specific Geopolitical Entity
Line of sight from point to point
Line of sight from point to region
Local Condition On Discourse Referent
Local Condition On Referent Expression
Location Update For Unit
Manufacturing Steps
Max Quant Value
Maximal 2D spatial extent of Microtheory
Maximal 3D spatial extent of Microtheory
Mean Quant Value
Meridian For Axis Of Surface Of Revolution
Min Quant Value
Moratorium Period
More Likely Than
Movements Powered
Mt Dimension Complement Value
Mt Dimension Value
Mt Monad
Mt alternatives
Mt converts op plain
Mt converts ops
Mt converts plain op
Mt converts rwt aux
Mt deon accessible
Mt deon ideal
Mt precedes
Mt precedes immediately
Mt precedes metric
Mt precedes nth date backward
Mt precedes nth date forward
Mt precedes semi metric backward
Mt precedes semi metric forward
Mt refinement domain basis
Mts conditionally conflict
Mts conflict
Mts disparate
Mts disparate assert
Mts expectations conflict
Mts incommensurate
Mt spindle
Much Greater Than
Much Less Than
Mutually-negating predicate
Mutually Overlapping Circles
NTPP
NTPP-1
Nearest Arg 1 Genl
Nearest Arg 1 Isa
Nearest Arg 2 Genl
Nearest Arg 2 Isa
Nearest Arg 3 Isa
Nearest Arg 4 Genl
Nearest Arg 4 Isa
Nearest Arg 5 Genl
Nearest Arg 5 Isa
Nearest Arg 6 Genl
Nearest Arg 6 Isa
Nearest Arg 7 Isa
Nearest Common Genl Mt
Nearest Common Genl Preds
Nearest Common Isa
Nearest Common Spec Mt
Nearest Common Spec Preds
Nearest Different Genl Mt
Nearest Genl Mt
Nearest Genl Preds
Nearest Isa
Negation Inverse
Negation Mt
New Discourse Referent In UDS
Node Covered By Peg
Normal line to a surface
NuSketch-created microtheory
Number of atomic part of
Number of spatial""component part
Numerically Comparable
Numerically Equals
O
On the interior of
On the interior of
On the interior of
Open Entry Format In Args
Orthography
Outbound leg
Outside Of Space Region Maximal
Outside Space Region
Outside the region of
Overriding Mts
P
P^-1
PO
PP
PP-1
Parallel Lines
Parallel of a spheroid
Parental Node
Partially Inside Space Region Inverse
Partially inside
Parts Entry Format In Args
Perspective
Point 4 Later Than
Point Quant Value
Point Set Of Space Region
Possible Alternatives
Pragmatic requirement
Predicate intersection
Predicate union
Program Max Algorithm
Projection Source
Projection target
Proper Sub Events
Proposed events
Quantity Congruence Base
Quantity Constraint
Quantity Subsumes
RCC relation holding between
Range Of Distribution
Reflexive In Args
Reformulator Equals
Reformulator Equiv
Reformulator Rule
Relation Extension
Relation Holds Among
Relational Arity
Report Update For Unit
Report update
Result Isa For Type
Rewrite Of
Rhumb line
Scalar Bounds
Scalar Dimensional Rank
Scalar interval generic quantity
Scenario Collector Mt
Scenario Elaborates Via Event
Scenario Elaborates Via Precondition
Set Of Objects Outside Radius
Set Of Objects Within Radius
Significance Of Situation
Single Entry Format In Args
Skew Lines
Skin Of Space Region
Small circle
Smallest convex spatial sum
Space Region Complement
Space Region Complement Of In
Space Region Difference
Space Region Product
Space Region Sum
Spatially Intersecting Entry Format In Args
Spatio Temporally Intersecting Entry Format In Args
Spheric section
Spheroidal section
Strong spatial connection with
Structure Correspondences
Structure Diffs
Structure Map
Structure Maps
Sub Agreements
Sub Algorithms
Sub Events Entry Format In Args
Sub Scenarios
Sub Situations
Sub Translations Single Trajectory
Subevent
Subordinate To Discourse Structure
Subprocess
Subsumes Template
Successful task in context
Summarizing
Surface of revolution parallel
Symmetric spatial difference of
Symmetry Neutralized Mt
Syntactic Node Head Daughter
TPP
TPP-1
Tangent At Point
Tangent Line At Point On Curve
Tangent Plane At Point On Surface
Task Has Prereq WRT Post Cond
Temporally Intersecting Entry Format In Args
Terminal Point Of Line Segment
Time Formalism Used
Topologically Inside Space Region
Transfer In Sub Event
Typed Genl Preds
Typed Genl Preds WRT Quoted Args
Typed genl inverse
Uml State Machine Interpetation Context Stack Parent
Unit Definition
Unit Type Dimensional Analysis
Uses Schema
Value In Range
Values share scale
Weakly Connected Space Regions
Zip Code Range Of State

Click Here to Add a Comment