Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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__documentation(s__Class,s__ChineseLanguage,'" Class 在三个重要方面与 Set 不同:第一,我们不假设 Class 为能延伸的,也就是说不同的 Class 可能由完全相同的实例。第二,Class 通常有一个决定该 Class 实例的附带`条件。所以举例说:`人类 决定 HumanClass。注:有些 Class 可能满足自身 的条件(例如 Abstract 东西的 ClassAbstract) 所以它们本身成为实例。 第三:一个类别的实例可能 只在该类别出现一次,也就是输一个泪奔不能拥有重复的实例。"')

chinese_format.kif 1806-1810
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 2052-2060
s__externalImage(s__Class,'"http://upload.wikimedia.org/wikipedia/commons/0/0f/ Oldfaithful3.png"')

pictureList.kif 10649-10649
s__externalImage(s__Class,'"http://upload.wikimedia.org/wikipedia/commons/1/1a/ Maximum_boxed.png"')

pictureList.kif 10648-10648
s__externalImage(s__Class,'"http://upload.wikimedia.org/wikipedia/commons/4/43/ Arbitrary-gametree-solved.png"')

pictureList.kif 10651-10651
s__externalImage(s__Class,'"http://upload.wikimedia.org/wikipedia/commons/4/46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png"')

pictureList.kif 10650-10650
s__externalImage(s__Class,'"http://upload.wikimedia.org/wikipedia/commons/4/4b/ Composite_trapezoidal_rule_illustration_small.png"')

pictureList.kif 10647-10647
s__externalImage(s__Class,'"http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png"')

pictureList.kif 10646-10646
s__externalImage(s__Class,'"http://upload.wikimedia.org/wikipedia/commons/b/bf/ Pyramid_of_Capitalist_System.png"')

pictureList.kif 9959-9959
s__externalImage(s__Class,'"http://upload.wikimedia.org/wikipedia/en/7/71/Classificationsau.png"')

pictureList.kif 10653-10653
s__externalImage(s__Class,'"http://upload.wikimedia.org/wikipedia/en/8/8f/Personal_Household_Income_U.png"')

pictureList.kif 10645-10645
s__instance(s__Class,s__SetOrClass)

s__subclass(s__Class,s__SetOrClass)

Merge.kif 2050-2050 Class is a subclass of set or class

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


s__range(s__AttrFn__m,s__Class)

Merge.kif 1686-1686 The range of attr is an instance of class
s__range(s__ExtensionFn__m,s__Class)

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

Merge.kif 5346-5346 The range of kappa is an instance of class
s__instance(s__Class,s__SetOrClass)

s__subclass(s__BiologicalSpecies,s__Class)

s__instance(s__BiologicalSpecies,s__SetOrClass)

Mid-level-ontology.kif 8643-8643 Biological species is a subclass of class
s__termFormat(s__ChineseLanguage,s__Class,'"类"')

chinese_format.kif 886-886
s__termFormat(s__EnglishLanguage,s__Class,'"class"')

english_format.kif 979-979

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


s__domain(s__AttrFn__m,n__1,s__Class)

Merge.kif 1687-1687 The number 1 argument of attr is an instance of class
s__domain(s__TTFxFn__m,n__1,s__Class)

UXExperimentalTerms.kif 1697-1697 The number 1 argument of TTFx is an instance of class
s__domain(s__closedOn__m,n__2,s__Class)

Merge.kif 3464-3464 The number 2 argument of closed on is an instance of class
s__domain(s__disjoint__m,n__1,s__Class)

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

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

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

Merge.kif 568-568 The number 2 argument of disjoint decomposition is an instance of class
s__domain(s__domain__m,n__3,s__Class)

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

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

Merge.kif 3587-3587 The number 2 argument of equivalence relation on is an instance of class
s__domain(s__exhaustiveDecomposition__m,n__1,s__Class)

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

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

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

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

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

Merge.kif 3511-3511 The number 2 argument of irreflexive on is an instance of class
s__domain(s__partialOrderingOn__m,n__2,s__Class)

Merge.kif 3530-3530 The number 2 argument of partial ordering on is an instance of class
s__domain(s__partition__m,n__1,s__Class)

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

Merge.kif 584-584 The number 2 argument of partition is an instance of class
s__domain(s__range__m,n__2,s__Class)

Merge.kif 305-305 The number 2 argument of range is an instance of class
s__domain(s__reflexiveOn__m,n__2,s__Class)

Merge.kif 3493-3493 The number 2 argument of reflexive on is an instance of class
s__domain(s__subclass__m,n__1,s__Class)

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

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

Merge.kif 8608-8608 The number 1 argument of successorClass is an instance of class
s__domain(s__successorClass__m,n__2,s__Class)

Merge.kif 8609-8609 The number 2 argument of successorClass is an instance of class

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__Q,s__Quantity) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((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 29714-29719
( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__Q,s__PhysicalQuantity) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((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 29721-29726
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__SelfConnectedObject) &
         s__instance(V__Q,s__LengthMeasure))
       =>
       (((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 29882-29887
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__Region) &
         s__instance(V__Q,s__AreaMeasure))
       =>
       (((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 29904-29909
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__Circle) &
         s__instance(V__Q,s__LengthMeasure))
       =>
       (((s__memberMeasure(V__S,s__Circumfrence,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S))
       =>
       (s__circumfrence(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 29815-29820
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__Circle) &
         s__instance(V__Q,s__LengthMeasure))
       =>
       (((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 29860-29865
( ! [V__O,V__P,V__Q,V__S] :
   (((s__instance(V__O,s__Agent) &
         s__subclass(V__P,s__Process) &
         s__instance(V__Q,s__TimeDuration))
       =>
       (((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(V__P,V__Q)))))
)
)

Mid-level-ontology.kif 30012-30019
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__Q,s__Quantity))
       =>
       (((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)))))
)
)

Mid-level-ontology.kif 29749-29754
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__ElectricalTransformer) &
         s__instance(V__Q,s__FunctionQuantity))
       =>
       (((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)))))
)
)

Mid-level-ontology.kif 30042-30047
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__ElectricalTransformer) &
         s__instance(V__Q,s__FunctionQuantity))
       =>
       (((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)))))
)
)

Mid-level-ontology.kif 29926-29931
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__ElectricalTransformer) &
         s__instance(V__Q,s__FunctionQuantity))
       =>
       (((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)))))
)
)

Mid-level-ontology.kif 29969-29974
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__SelfConnectedObject) &
         s__instance(V__Q,s__LengthMeasure))
       =>
       (((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 29794-29799
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__Physical) &
         s__instance(V__Q,s__Quantity))
       =>
       (((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 29768-29773
( ! [V__CLASS] :
   ((s__instance(V__CLASS,s__Class) =>
       (s__subclass(V__CLASS,s__Entity)))
     )
   )

Merge.kif 794-796

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


( ! [V__ITEM1,V__LISTING2,V__LISTING1,V__CATEG,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 182-197
( ! [V__ROW7,V__ROW8,V__ROW5,V__ROW6,V__ELEMENT,V__ROW3,V__ROW4,V__ROW2] :
   (((s__instance(V__ROW7,s__Class) &
         s__instance(V__ROW8,s__Class) &
         s__instance(V__ROW5,s__Class) &
         s__instance(V__ROW6,s__Class) &
         s__instance(V__ROW3,s__Class) &
         s__instance(V__ROW4,s__Class) &
         s__instance(V__ROW2,s__Class))
       =>
       ((s__disjointDecomposition__7(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)
         =>
         ((s__inList(V__ELEMENT,s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8))
         =>
         (s__instance(V__ELEMENT,s__Class)))))))
)
)

( ! [V__ELEMENT,V__ROW2] :
   ((s__instance(V__ROW2,s__Class) =>
       ((s__disjointDecomposition__1(V__ROW2)
         =>
         ((s__inList(V__ELEMENT,s__ListFn__1Fn(V__ROW2))
         =>
         (s__instance(V__ELEMENT,s__Class)))))))
)
)

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

( ! [V__ROW5,V__ROW6,V__ELEMENT,V__ROW3,V__ROW4,V__ROW2] :
   (((s__instance(V__ROW5,s__Class) &
         s__instance(V__ROW6,s__Class) &
         s__instance(V__ROW3,s__Class) &
         s__instance(V__ROW4,s__Class) &
         s__instance(V__ROW2,s__Class))
       =>
       ((s__disjointDecomposition__5(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
         =>
         ((s__inList(V__ELEMENT,s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
         =>
         (s__instance(V__ELEMENT,s__Class)))))))
)
)

( ! [V__ELEMENT,V__ROW3,V__ROW2] :
   (((s__instance(V__ROW3,s__Class) &
         s__instance(V__ROW2,s__Class))
       =>
       ((s__disjointDecomposition__2(V__ROW2,V__ROW3)
         =>
         ((s__inList(V__ELEMENT,s__ListFn__2Fn(V__ROW2,V__ROW3))
         =>
         (s__instance(V__ELEMENT,s__Class)))))))
)
)

( ! [V__ELEMENT,V__ROW3,V__ROW4,V__ROW2] :
   (((s__instance(V__ROW3,s__Class) &
         s__instance(V__ROW4,s__Class) &
         s__instance(V__ROW2,s__Class))
       =>
       ((s__disjointDecomposition__3(V__ROW2,V__ROW3,V__ROW4)
         =>
         ((s__inList(V__ELEMENT,s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
         =>
         (s__instance(V__ELEMENT,s__Class)))))))
)
)

( ! [V__ROW5,V__ELEMENT,V__ROW3,V__ROW4,V__ROW2] :
   (((s__instance(V__ROW5,s__Class) &
         s__instance(V__ROW3,s__Class) &
         s__instance(V__ROW4,s__Class) &
         s__instance(V__ROW2,s__Class))
       =>
       ((s__disjointDecomposition__4(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
         =>
         ((s__inList(V__ELEMENT,s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
         =>
         (s__instance(V__ELEMENT,s__Class)))))))
)
)

Merge.kif 575-579
( ! [V__ELEMENT,V__ROW3,V__ROW4,V__ROW2] :
   (((s__instance(V__ROW3,s__Class) &
         s__instance(V__ROW4,s__Class) &
         s__instance(V__ROW2,s__Class))
       =>
       ((s__exhaustiveDecomposition__3(V__ROW2,V__ROW3,V__ROW4)
         =>
         ((s__inList(V__ELEMENT,s__ListFn__3Fn(V__ROW2,V__ROW3,V__ROW4))
         =>
         (s__instance(V__ELEMENT,s__Class)))))))
)
)

( ! [V__ROW5,V__ELEMENT,V__ROW3,V__ROW4,V__ROW2] :
   (((s__instance(V__ROW5,s__Class) &
         s__instance(V__ROW3,s__Class) &
         s__instance(V__ROW4,s__Class) &
         s__instance(V__ROW2,s__Class))
       =>
       ((s__exhaustiveDecomposition__4(V__ROW2,V__ROW3,V__ROW4,V__ROW5)
         =>
         ((s__inList(V__ELEMENT,s__ListFn__4Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5))
         =>
         (s__instance(V__ELEMENT,s__Class)))))))
)
)

( ! [V__ELEMENT,V__ROW3,V__ROW2] :
   (((s__instance(V__ROW3,s__Class) &
         s__instance(V__ROW2,s__Class))
       =>
       ((s__exhaustiveDecomposition__2(V__ROW2,V__ROW3)
         =>
         ((s__inList(V__ELEMENT,s__ListFn__2Fn(V__ROW2,V__ROW3))
         =>
         (s__instance(V__ELEMENT,s__Class)))))))
)
)

( ! [V__ELEMENT,V__ROW2] :
   ((s__instance(V__ROW2,s__Class) =>
       ((s__exhaustiveDecomposition__1(V__ROW2)
         =>
         ((s__inList(V__ELEMENT,s__ListFn__1Fn(V__ROW2))
         =>
         (s__instance(V__ELEMENT,s__Class)))))))
)
)

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

( ! [V__ROW7,V__ROW8,V__ROW5,V__ROW6,V__ELEMENT,V__ROW3,V__ROW4,V__ROW2] :
   (((s__instance(V__ROW7,s__Class) &
         s__instance(V__ROW8,s__Class) &
         s__instance(V__ROW5,s__Class) &
         s__instance(V__ROW6,s__Class) &
         s__instance(V__ROW3,s__Class) &
         s__instance(V__ROW4,s__Class) &
         s__instance(V__ROW2,s__Class))
       =>
       ((s__exhaustiveDecomposition__7(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8)
         =>
         ((s__inList(V__ELEMENT,s__ListFn__7Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6,V__ROW7,V__ROW8))
         =>
         (s__instance(V__ELEMENT,s__Class)))))))
)
)

( ! [V__ROW5,V__ROW6,V__ELEMENT,V__ROW3,V__ROW4,V__ROW2] :
   (((s__instance(V__ROW5,s__Class) &
         s__instance(V__ROW6,s__Class) &
         s__instance(V__ROW3,s__Class) &
         s__instance(V__ROW4,s__Class) &
         s__instance(V__ROW2,s__Class))
       =>
       ((s__exhaustiveDecomposition__5(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6)
         =>
         ((s__inList(V__ELEMENT,s__ListFn__5Fn(V__ROW2,V__ROW3,V__ROW4,V__ROW5,V__ROW6))
         =>
         (s__instance(V__ELEMENT,s__Class)))))))
)
)

Merge.kif 559-563
( ! [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 2243-2250
( ! [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 2252-2261
( ! [V__X,V__Y] :
   (((s__instance(V__X,s__Class) &
         s__instance(V__Y,s__Class))
       =>
       ((s__subclass(V__X,V__Y)
         =>
         ((s__instance(V__X,s__Class) &
             s__instance(V__Y,s__Class))))))
   )
)

Merge.kif 135-139


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 is open source software produced by Articulate Software and its partners