Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Class
Class(class)
more pictures...		brand, categorial, categoric, categorical, categorisation, categorization, category, class, classification, color, colour, connotation, denomination, description, family, form, genus, histocompatibility_complex, intension, kind, kingdom, like, make, manner, nature, paradigm, pigeonhole, rubric, sort, species, stamp, stripe, style, substitution_class, the_like, the_likes_of, trichotomy, variety, way

appearance as argument number 1
-------------------------


s__subclass(s__Class,s__SetOrClass)

 Merge.kif 2246-2246 Class is a subclass of set or class
s__documentation(s__Class, s__EnglishLanguage, "Classes differ from Sets in three important respects_ First, Classes are not assumed to be extensional_ That is, distinct Classes might well have exactly the same instances_ Second, Classes typically have an associated `condition that determines the instances of the Class_ So, for example, the condition `human determines the Class of Humans_ Note that some Classes might satisfy their own condition (e_g_, the Class of Abstract things is Abstract) and hence be instances of themselves_ Third, the instances of a class may occur only once within the class, i_e_ a class cannot contain duplicate instances_") Merge.kif 2248-2256 Class is a subclass of set or class
s__externalImage(s__Class,"http:
//upload.wikimedia.org/wikipedia/commons/b/bf/Pyramid_of_Capitalist_System.png")

 pictureList.kif 9941-9941 Class is a subclass of set or class
s__externalImage(s__Class,"http:
//upload.wikimedia.org/wikipedia/en/8/8f/Personal_Household_Income_U.png")

 pictureList.kif 10623-10623 Class is a subclass of set or class
s__externalImage(s__Class,"http:
//upload.wikimedia.org/wikipedia/commons/a/a8/BernoullisLawDerivationDiagram.png")

 pictureList.kif 10624-10624 Class is a subclass of set or class
s__externalImage(s__Class,"http:
//upload.wikimedia.org/wikipedia/commons/4/4b/Composite_trapezoidal_rule_illustration_small.png")

 pictureList.kif 10625-10625 Class is a subclass of set or class
s__externalImage(s__Class,"http:
//upload.wikimedia.org/wikipedia/commons/1/1a/Maximum_boxed.png")

 pictureList.kif 10626-10626 Class is a subclass of set or class
s__externalImage(s__Class,"http:
//upload.wikimedia.org/wikipedia/commons/0/0f/Oldfaithful3.png")

 pictureList.kif 10627-10627 Class is a subclass of set or class
s__externalImage(s__Class,"http:
//upload.wikimedia.org/wikipedia/commons/4/46/Market_Data_Index_NYA_on_20050726_202628_UTC.png")

 pictureList.kif 10628-10628 Class is a subclass of set or class
s__externalImage(s__Class,"http:
//upload.wikimedia.org/wikipedia/commons/4/43/Arbitrary_gametree_solved.png")

 pictureList.kif 10629-10629 Class is a subclass of set or class
s__externalImage(s__Class,"http:
//upload.wikimedia.org/wikipedia/en/7/71/Classificationsau.png")

 pictureList.kif 10631-10631 Class is a subclass of set or class

appearance as argument number 2
-------------------------


s__range(s__ExtensionFn,s__Class)

 Merge.kif 1853-1853 The range of extension is an instance of class
s__range(s__KappaFn,s__Class)

 Merge.kif 5704-5704 The range of kappa is an instance of class
s__range(s__WeekBeforeMenstruationFn,s__Class)

 Medicine.kif 1500-1500 The range of week before menstruation is an instance of class
s__termFormat(s__EnglishLanguage, s__Class, "class") english_format.kif 978-978 The range of week before menstruation is an instance of class

appearance as argument number 3
-------------------------


s__domain(s__instance,n__2,s__Class)

 Merge.kif 82-82 The number 2 argument of instance is an instance of class
s__domain(s__immediateInstance,n__2,s__Class)

 Merge.kif 91-91 The number 2 argument of immediate instance is an instance of class
s__domain(s__subclass,n__1,s__Class)

 Merge.kif 131-131 The number 1 argument of subclass is an instance of class
s__domain(s__subclass,n__2,s__Class)

 Merge.kif 132-132 The number 2 argument of subclass is an instance of class
s__domain(s__immediateSubclass,n__1,s__Class)

 Merge.kif 147-147 The number 1 argument of immediate subclass is an instance of class
s__domain(s__immediateSubclass,n__2,s__Class)

 Merge.kif 148-148 The number 2 argument of immediate subclass is an instance of class
s__domain(s__domain,n__3,s__Class)

 Merge.kif 204-204 The number 3 argument of domain is an instance of class
s__domain(s__domainSubclass,n__3,s__Class)

 Merge.kif 226-226 The number 3 argument of domain subclass is an instance of class
s__domain(s__range,n__2,s__Class)

 Merge.kif 300-300 The number 2 argument of range is an instance of class
s__domainSubclass(s__rangeSubclass,n__2,s__Class)

 Merge.kif 327-327 The number 2 argument of range subclass is a subclass of class
s__domain(s__disjoint,n__1,s__Class)

 Merge.kif 387-387 The number 1 argument of disjoint is an instance of class
s__domain(s__disjoint,n__2,s__Class)

 Merge.kif 388-388 The number 2 argument of disjoint is an instance of class
s__domain(s__exhaustiveDecomposition,n__1,s__Class)

 Merge.kif 540-540 The number 1 argument of exhaustive decomposition is an instance of class
s__domain(s__exhaustiveDecomposition,n__2,s__Class)

 Merge.kif 541-541 The number 2 argument of exhaustive decomposition is an instance of class
s__domain(s__disjointDecomposition,n__1,s__Class)

 Merge.kif 558-558 The number 1 argument of disjoint decomposition is an instance of class
s__domain(s__disjointDecomposition,n__2,s__Class)

 Merge.kif 559-559 The number 2 argument of disjoint decomposition is an instance of class
s__domain(s__partition,n__1,s__Class)

 Merge.kif 574-574 The number 1 argument of partition is an instance of class
s__domain(s__partition,n__2,s__Class)

 Merge.kif 575-575 The number 2 argument of partition is an instance of class
s__partition(s__SetOrClass,s__Set,s__Class)

 Merge.kif 2239-2239 Set or class is exhaustively partitioned into set and class
s__domain(s__closedOn,n__2,s__Class)

 Merge.kif 3687-3687 The number 2 argument of closed on is an instance of class
s__domain(s__reflexiveOn,n__2,s__Class)

 Merge.kif 3715-3715 The number 2 argument of reflexive on is an instance of class
s__domain(s__partialOrderingOn,n__2,s__Class)

 Merge.kif 3752-3752 The number 2 argument of partial ordering on is an instance of class
s__domain(s__totalOrderingOn,n__2,s__Class)

 Merge.kif 3768-3768 The number 2 argument of total ordering on is an instance of class
s__domain(s__trichotomizingOn,n__2,s__Class)

 Merge.kif 3789-3789 The number 2 argument of trichotomizing on is an instance of class
s__domain(s__equivalenceRelationOn,n__2,s__Class)

 Merge.kif 3812-3812 The number 2 argument of equivalence relation on is an instance of class

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


! [V__CLASS] :
((s__instance(V__CLASS,s__Class) =>
     s__subclass(V__CLASS,s__Entity))
   )

 Merge.kif 820-822 If X is an instance of class, then X is a subclass of entity
! [V__M,V__Q,V__S,V__O] :
(((s__instance(V__M,s__MeasurementAttribute) &
       s__instance(V__Q,s__Quantity))
     =>
     ((s__memberMeasure(V__S,V__M,V__Q)
       &
       s__instance(V__S,s__Class) &
       s__instance(V__O,V__S))
   =>
   s__instance(V__O,s__Artifact)))
)

 Mid-level-ontology.kif 33628-33633 If members of X have the measure Y in terms of Z, X is an instance of class, and W is an instance of X, then W is an instance of artifact
! [V__M,V__Q,V__O,V__S] :
(((s__instance(V__M,s__MeasurementAttribute) &
       s__instance(V__Q,s__PhysicalQuantity) &
       s__instance(V__O,s__Physical))
     =>
     ((s__memberMeasure(V__S,V__M,V__Q)
       &
       s__instance(V__S,s__Class) &
       s__instance(V__O,V__S))
   =>
   s__measure(V__O,V__Q)))
)

 Mid-level-ontology.kif 33635-33640 If members of X have the measure Y in terms of Z, X is an instance of class, and W is an instance of X, then the measure of W is Y
! [V__Q,V__O,V__S] :
(((s__instance(V__Q,s__LengthMeasure) &
       s__instance(V__O,s__Physical))
     =>
     ((s__memberMeasure(V__S,s__Width,V__Q)
       &
       s__instance(V__S,s__Class) &
       s__instance(V__O,V__S))
   =>
   s__width(V__O,V__Q)))
)

 Mid-level-ontology.kif 33670-33675 If members of X have the measure Y in terms of width, X is an instance of class, and Z is an instance of X, then the width of Z is Y
! [V__Q,V__O,V__S] :
(((s__instance(V__Q,s__LengthMeasure) &
       s__instance(V__O,s__SelfConnectedObject))
     =>
     ((s__memberMeasure(V__S,s__Width,V__Q)
       &
       s__instance(V__S,s__Class) &
       s__instance(V__O,V__S))
   =>
   s__height(V__O,V__Q)))
)

 Mid-level-ontology.kif 33696-33701 If members of X have the measure Y in terms of width, X is an instance of class, and Z is an instance of X, then the height of Z is Y
! [V__Q,V__O,V__S] :
(((s__instance(V__Q,s__LengthMeasure) &
       s__instance(V__O,s__Circle))
     =>
     ((s__memberMeasure(V__S,s__Circumference,V__Q)
       &
       s__instance(V__S,s__Class) &
       s__instance(V__O,V__S))
   =>
   s__circumference(V__O,V__Q)))
)

 Mid-level-ontology.kif 33717-33722 If members of X have the measure Y in terms of Circumference, X is an instance of class, and Z is an instance of X, then circumference Z and Y
! [V__Q,V__O,V__S] :
(((s__instance(V__Q,s__LengthMeasure) &
       s__instance(V__O,s__Circle))
     =>
     ((s__memberMeasure(V__S,s__Diameter,V__Q)
       &
       s__instance(V__S,s__Class) &
       s__instance(V__O,V__S))
   =>
   s__diameter(V__O,V__Q)))
)

 Mid-level-ontology.kif 33771-33776 If members of X have the measure Y in terms of Diameter, X is an instance of class, and Z is an instance of X, then the diameter of Z is Y
! [V__Q,V__O,V__S] :
(((s__instance(V__Q,s__LengthMeasure) &
       s__instance(V__O,s__SelfConnectedObject))
     =>
     ((s__memberMeasure(V__S,s__ApproximateDiameter,V__Q)
       &
       s__instance(V__S,s__Class) &
       s__instance(V__O,V__S))
   =>
   s__approximateDiameter(V__O,V__Q)))
)

 Mid-level-ontology.kif 33793-33798 If members of X have the measure Y in terms of ApproximateDiameter, X is an instance of class, and Z is an instance of X, then the approximate diameter of Z is Y
! [V__Q,V__O,V__S] :
(((s__instance(V__Q,s__AreaMeasure) &
       s__instance(V__O,s__Region))
     =>
     ((s__memberMeasure(V__S,s__Area,V__Q)
       &
       s__instance(V__S,s__Class) &
       s__instance(V__O,V__S))
   =>
   s__totalArea(V__O,V__Q)))
)

 Mid-level-ontology.kif 33822-33827 If members of X have the measure Y in terms of Area, X is an instance of class, and Z is an instance of X, then Y is a total area of Z
! [V__Q,V__O,V__S,V__P] :
(((s__instance(V__Q,s__TimeDuration) &
       s__instance(V__O,s__AutonomousAgent))
     =>
     ((s__memberMeasure(V__S,s__Frequency,V__Q)
       &
       s__instance(V__S,s__Class) &
       s__instance(V__O,V__S)
     &
     s__instance(V__P,s__Process) &
     s__agent(V__P,V__O))
=>
s__frequency(s__Process,V__Q)))
)

 Mid-level-ontology.kif 33862-33869 If members of X have the measure Y in terms of Frequency, X is an instance of class, Z is an instance of X, W is an instance of process, and Z is an agent of W, then process occurs every Y
! [V__Q,V__O,V__S] :
(((s__instance(V__Q,s__LengthMeasure) &
       s__instance(V__O,s__Physical))
     =>
     ((s__memberMeasure(V__S,s__Length,V__Q)
       &
       s__instance(V__S,s__Class) &
       s__instance(V__O,V__S))
   =>
   s__length(V__O,V__Q)))
)

 engineering.kif 82-87 If members of X have the measure Y in terms of length, X is an instance of class, and Z is an instance of X, then the length of Z is Y
! [V__Q,V__O,V__S] :
(((s__instance(V__Q,s__FunctionQuantity) &
       s__instance(V__O,s__ElectricalTransformer))
     =>
     ((s__memberMeasure(V__S,s__VoltageRatingPrimary,V__Q)
       &
       s__instance(V__S,s__Class) &
       s__instance(V__O,V__S))
   =>
   s__voltageRatingPrimary(V__O,V__Q)))
)

 engineering.kif 611-616 If members of X have the measure Y in terms of Primary Voltage Rating, X is an instance of class, and Z is an instance of X, then the FunctionQuantity of Z is Y
! [V__Q,V__O,V__S] :
(((s__instance(V__Q,s__FunctionQuantity) &
       s__instance(V__O,s__ElectricalTransformer))
     =>
     ((s__memberMeasure(V__S,s__VoltageRatingSecondary,V__Q)
       &
       s__instance(V__S,s__Class) &
       s__instance(V__O,V__S))
   =>
   s__voltageRatingSecondary(V__O,V__Q)))
)

 engineering.kif 654-659 If members of X have the measure Y in terms of Secondary Voltage Rating, X is an instance of class, and Z is an instance of X, then the FunctionQuantity of Z is Y
! [V__Q,V__O,V__S] :
(((s__instance(V__Q,s__FunctionQuantity) &
       s__instance(V__O,s__ElectricalTransformer))
     =>
     ((s__memberMeasure(V__S,s__TransformerCapacity,V__Q)
       &
       s__instance(V__S,s__Class) &
       s__instance(V__O,V__S))
   =>
   s__transformerCapacity(V__O,V__Q)))
)

 engineering.kif 702-707 If members of X have the measure Y in terms of Transformer Capacity, X is an instance of class, and Z is an instance of X, then the capacity of Z is Y

consequent
-------------------------


! [V__ROW1,V__ROW2,V__ROW3,V__ELEMENT] :
(((s__instance(V__ROW1,s__Class) &
       s__instance(V__ROW2,s__Class) &
       s__instance(V__ROW3,s__Class))
     =>
     (s__exhaustiveDecomposition(V__ROW1,V__ROW2,V__ROW3)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1,V__ROW2,V__ROW3))
   =>
   s__instance(V__ELEMENT,s__Class))))
)

! [V__ROW1,V__ROW2,V__ELEMENT] :
(((s__instance(V__ROW1,s__Class) &
       s__instance(V__ROW2,s__Class))
     =>
     (s__exhaustiveDecomposition(V__ROW1,V__ROW2)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1,V__ROW2))
   =>
   s__instance(V__ELEMENT,s__Class))))
)

! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ELEMENT] :
(((s__instance(V__ROW1,s__Class) &
       s__instance(V__ROW2,s__Class) &
       s__instance(V__ROW3,s__Class) &
       s__instance(V__ROW4,s__Class) &
       s__instance(V__ROW5,s__Class))
     =>
     (s__exhaustiveDecomposition(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5))
   =>
   s__instance(V__ELEMENT,s__Class))))
)

! [V__ROW1,V__ELEMENT] :
((s__instance(V__ROW1,s__Class) =>
     (s__exhaustiveDecomposition(V__ROW1)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1))
   =>
   s__instance(V__ELEMENT,s__Class))))
)

! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ELEMENT] :
(((s__instance(V__ROW1,s__Class) &
       s__instance(V__ROW2,s__Class) &
       s__instance(V__ROW3,s__Class) &
       s__instance(V__ROW4,s__Class) &
       s__instance(V__ROW5,s__Class) &
       s__instance(V__ROW6,s__Class))
     =>
     (s__exhaustiveDecomposition(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
   =>
   s__instance(V__ELEMENT,s__Class))))
)

! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ELEMENT] :
(((s__instance(V__ROW1,s__Class) &
       s__instance(V__ROW2,s__Class) &
       s__instance(V__ROW3,s__Class) &
       s__instance(V__ROW4,s__Class))
     =>
     (s__exhaustiveDecomposition(V__ROW1,V__ROW2,V__ROW3,V__ROW4)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4))
   =>
   s__instance(V__ELEMENT,s__Class))))
)

! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ELEMENT] :
(((s__instance(V__ROW1,s__Class) &
       s__instance(V__ROW2,s__Class) &
       s__instance(V__ROW3,s__Class) &
       s__instance(V__ROW4,s__Class) &
       s__instance(V__ROW5,s__Class) &
       s__instance(V__ROW6,s__Class) &
       s__instance(V__ROW7,s__Class))
     =>
     (s__exhaustiveDecomposition(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
   =>
   s__instance(V__ELEMENT,s__Class))))
)

 Merge.kif 550-554 Assuming @ROW is covered by @ROW, it follows that: if Y is a member of (@ROW), then Y is an instance of class
! [V__ROW1,V__ROW2,V__ELEMENT] :
(((s__instance(V__ROW1,s__Class) &
       s__instance(V__ROW2,s__Class))
     =>
     (s__disjointDecomposition(V__ROW1,V__ROW2)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1,V__ROW2))
   =>
   s__instance(V__ELEMENT,s__Class))))
)

! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ELEMENT] :
(((s__instance(V__ROW1,s__Class) &
       s__instance(V__ROW2,s__Class) &
       s__instance(V__ROW3,s__Class) &
       s__instance(V__ROW4,s__Class) &
       s__instance(V__ROW5,s__Class))
     =>
     (s__disjointDecomposition(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5))
   =>
   s__instance(V__ELEMENT,s__Class))))
)

! [V__ROW1,V__ELEMENT] :
((s__instance(V__ROW1,s__Class) =>
     (s__disjointDecomposition(V__ROW1)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1))
   =>
   s__instance(V__ELEMENT,s__Class))))
)

! [V__ROW1,V__ROW2,V__ROW3,V__ELEMENT] :
(((s__instance(V__ROW1,s__Class) &
       s__instance(V__ROW2,s__Class) &
       s__instance(V__ROW3,s__Class))
     =>
     (s__disjointDecomposition(V__ROW1,V__ROW2,V__ROW3)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1,V__ROW2,V__ROW3))
   =>
   s__instance(V__ELEMENT,s__Class))))
)

! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ELEMENT] :
(((s__instance(V__ROW1,s__Class) &
       s__instance(V__ROW2,s__Class) &
       s__instance(V__ROW3,s__Class) &
       s__instance(V__ROW4,s__Class))
     =>
     (s__disjointDecomposition(V__ROW1,V__ROW2,V__ROW3,V__ROW4)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4))
   =>
   s__instance(V__ELEMENT,s__Class))))
)

! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ELEMENT] :
(((s__instance(V__ROW1,s__Class) &
       s__instance(V__ROW2,s__Class) &
       s__instance(V__ROW3,s__Class) &
       s__instance(V__ROW4,s__Class) &
       s__instance(V__ROW5,s__Class) &
       s__instance(V__ROW6,s__Class))
     =>
     (s__disjointDecomposition(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
   =>
   s__instance(V__ELEMENT,s__Class))))
)

! [V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ELEMENT] :
(((s__instance(V__ROW1,s__Class) &
       s__instance(V__ROW2,s__Class) &
       s__instance(V__ROW3,s__Class) &
       s__instance(V__ROW4,s__Class) &
       s__instance(V__ROW5,s__Class) &
       s__instance(V__ROW6,s__Class) &
       s__instance(V__ROW7,s__Class))
     =>
     (s__disjointDecomposition(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7)
     =>
     (s__inList(V__ELEMENT,s__ListFn(V__ROW1,V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7))
   =>
   s__instance(V__ELEMENT,s__Class))))
)

 Merge.kif 566-570 Assuming @ROW is disjointly decomposed into @ROW, it follows that: if Y is a member of (@ROW), then Y is an instance of class
! [V__CATEG,V__LISTING1,V__LISTING2,V__ITEM1,V__ITEM2] :
(((s__instance(V__CATEG,s__WebListingCategory) &
       s__instance(V__LISTING1,s__WebListing) &
       s__instance(V__LISTING2,s__WebListing) &
       s__instance(V__ITEM1,s__Object) &
       s__instance(V__ITEM2,s__Object) &
       s__member(V__LISTING1,V__CATEG)
     &
     s__member(V__LISTING2,V__CATEG)
   &
   s__patient(V__ITEM1,V__LISTING1)
&
s__patient(V__ITEM2,V__LISTING2))
=>
(? [V__CLASS] :
((s__instance(V__CLASS,s__Class) &
   s__instance(V__ITEM1,V__CLASS)
&
s__instance(V__ITEM2,V__CLASS)))))
)

 UXExperimentalTerms.kif 145-160 If All of the following hold: (1) X is an instance of web listing category (2) Y is an instance of web listing (3) Z is an instance of web listing (4) W is an instance of object (5) V is an instance of object (6) Y is a member of X (7) Z is a member of X (8) Y is a patient of W (9) Z is a patient of V, then there exists U such that U is an instance of class, W is an instance of U, and V is an instance of U
! [V__DESCRIPTIONPAGE] :
((s__instance(V__DESCRIPTIONPAGE,s__ProductDescriptionPage) =>
     (? [V__PRODUCT,V__ADVERTISEMENT] :
       ((s__instance(V__PRODUCT,s__Class) &
           s__instance(V__ADVERTISEMENT,s__Advertising) &
           s__patient(V__ADVERTISEMENT,V__PRODUCT)
         &
         s__part(V__ADVERTISEMENT,V__DESCRIPTIONPAGE)))))
)

 UXExperimentalTerms.kif 2035-2042 If X is an instance of product description page, then there exist Y, Z such that Y is an instance of class, Z is an instance of advertising, Y is a patient of Z, and Z is a part of X
! [V__DESCRIPTIONPAGE] :
((s__instance(V__DESCRIPTIONPAGE,s__ProductDescriptionPage) =>
     (? [V__PRODUCT,V__DESCRIPTION,V__STATING,V__DESCRIPTIONCONTENT] :
       ((s__instance(V__DESCRIPTION,s__Process) &
           s__instance(V__DESCRIPTIONCONTENT,s__Object) &
           (s__instance(V__PRODUCT,s__Class) &
             s__instance(V__STATING,s__Stating) &
             s__patient(V__STATING,V__DESCRIPTION)
           &
           s__refers(V__DESCRIPTION,V__PRODUCT)
         &
         s__result(V__DESCRIPTION,V__DESCRIPTIONCONTENT)
       &
       s__part(V__DESCRIPTIONCONTENT,V__DESCRIPTIONPAGE))))))
)

 UXExperimentalTerms.kif 2044-2053 If X is an instance of product description page, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of class (3) W is an instance of stating (4) Z is a patient of W (5) Z includes a reference to Y (6) V is a result of Z (7) V is a part of X


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners