Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Set SetOrClass) | Merge.kif 2258-2258 | Set is a subclass of set or class |
| (documentation Set EnglishLanguage "A SetOrClass that satisfies extensionality as well as other constraints specified by some choice of set theory. Sets differ from Classes in two important respects. First, Sets are extensional - two Sets with the same elements are identical. Second, a Set can be an arbitrary stock of objects. That is, there is no requirement that Sets have an associated condition that determines their membership. Note that Sets are not assumed to be unique sets, i.e. elements of a Set may occur more than once in the Set.") | Merge.kif 2260-2267 | Set is a subclass of set or class |
| appearance as argument number 2 |
|
|
| (partition SetOrClass Set Class) | Merge.kif 2239-2239 | Set or class is exhaustively partitioned into set and class |
| (range PropertyFn Set) | Merge.kif 4389-4389 | The range of property is an instance of set |
| (subclass NullSet Set) | Merge.kif 5636-5636 | Null set is a subclass of set |
| (subclass NonNullSet Set) | Merge.kif 5647-5647 | Non null set is a subclass of set |
| (subclass FiniteSet Set) | Merge.kif 5657-5657 | Finite set is a subclass of set |
| (subclass SetOfEquations Set) | engineering.kif 212-212 | Set of equations is a subclass of set |
| (termFormat EnglishLanguage Set "set") | english_format.kif 980-980 | Set of equations is a subclass of set |
| appearance as argument number 3 |
|
|
| (domain subset 1 Set) | Merge.kif 5515-5515 | The number 1 argument of subset is an instance of set |
| (domain subset 2 Set) | Merge.kif 5516-5516 | The number 2 argument of subset is an instance of set |
| (domain element 2 Set) | Merge.kif 5535-5535 | The number 2 argument of element is an instance of set |
| antecedent |
|
|
| (=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?AGENT) (instance ?S Set) (patient ?DECIDE ?S) (element ?M ?S)) (believes ?AGENT (exists (?CLASS) (and (instance ?M ?CLASS) (subclass ?CLASS IntentionalProcess) (capability ?CLASS agent ?AGENT))))) |
Merge.kif 12300-12312 | If X is an instance of deciding, Y is an agent of X, Z is an instance of set, Z is a patient of X, and W is an element of Z, then Y believes there exists V such that W is an instance of V, V is a subclass of intentional process, and Y is capable of doing V as a agent |
| (=> (and (instance ?DECIDE Deciding) (agent ?DECIDE ?A) (patient ?DECIDE ?S) (instance ?S Set) (result ?DECIDE ?X) (instance ?X ContentBearingPhysical)) (containsFormula ?X (holdsDuring (FutureFn (WhenFn ?DECIDE)) (exists (?M) (and (element ?M ?S) (instance ?M IntentionalProcess) (agent ?M ?A)))))) |
Merge.kif 12332-12348 | If All of the following hold: (1) X is an instance of deciding (2) Y is an agent of X (3) Z is a patient of X (4) Z is an instance of set (5) W is a result of X (6) W is an instance of content bearing physical, then W contains the formula there exists V such that V is an element of Z, V is an instance of intentional process, and Y is an agent of V holds during after the time of existence of X |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (measure ?O ?Q)) |
Mid-level-ontology.kif 33621-33626 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the measure of W is Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (length ?O ?Q)) |
Mid-level-ontology.kif 33658-33663 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the length of W is Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (width ?O ?Q)) |
Mid-level-ontology.kif 33677-33682 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the width of W is Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (height ?O ?Q)) |
Mid-level-ontology.kif 33689-33694 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the height of W is Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (circumference ?O ?Q)) |
Mid-level-ontology.kif 33710-33715 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then circumference W and Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (diameter ?O ?Q)) |
Mid-level-ontology.kif 33764-33769 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the diameter of W is Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (approximateDiameter ?O ?Q)) |
Mid-level-ontology.kif 33786-33791 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the approximate diameter of W is Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (totalArea ?O ?Q)) |
Mid-level-ontology.kif 33815-33820 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then Y is a total area of W |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S) (instance ?P Process) (agent ?P ?O)) (frequency Process ?Q)) |
Mid-level-ontology.kif 33853-33860 | If members of X have the measure Y in terms of Z, X is an instance of set, W is an element of X, V is an instance of process, and W is an agent of V, then process occurs every Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingPrimary ?O ?Q)) |
engineering.kif 604-609 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the FunctionQuantity of W is Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingSecondary ?O ?Q)) |
engineering.kif 647-652 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the FunctionQuantity of W is Y |
| (=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (transformerCapacity ?O ?Q)) |
engineering.kif 695-700 | If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the capacity of W is Y |
| consequent |
|
|
| (=> (and (instance ?X BreakingRecord) (agent ?X ?A1)) (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q) (and (instance ?AC Set) (element ?A1 ?AC) (subclass ?PC Process) (instance ?L Region) (instance ?TP TimePoint) (instance ?Q Quantity) (instance ?P1 ?PC) (refers ?X ?Q) (refers ?Q ?P1) (playsRoleInEvent ?A1 ?ROLE ?P1) (eventLocated ?P1 ?L) (not (exists (?A2 ?P2) (and (instance ?A2 ?AC) (not (equal ?A2 ?A1)) (instance ?P2 ?PC) (holdsDuring (TimeIntervalFn ?TP (EndFn (WhenFn ?X))) (and (playsRoleInEvent ?A2 ?ROLE ?P2) (eventLocated ?P2 ?L))))))))) |
Mid-level-ontology.kif 32629-32659 | If X is an instance of breaking record and Y is an agent of X, then All of the following hold: (1) there exist Z, W,, , V,, , U,, , T,, , S (2) R such that Z is an instance of set (3) Y is an element of Z (4) W is a subclass of process (5) S is an instance of region (6) U is an instance of time point (7) R is an instance of quantity (8) V is an instance of W (9) X includes a reference to R (10) R includes a reference to V (11) Y plays role in event T for V (12) V is located at S (13) there don't exist Q (14) P such that Q is an instance of Z (15) equal Q (16) Y (17) P is an instance of W (18) Q plays role in event T for P (19) P is located at S holds during interval between U (20) the end of the time of existence of X |
|