Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Class
Class(类)
more pictures...

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


(documentation Class ChineseLanguage " Class 在三个重要方面与 Set 不同:第一,我们不假设 Class 为能延伸的,也就是说不同的 Class 可能由完全相同的实例。第二,Class 通常有一个决定该 Class 实例的附带`条件'。所以举例说:`人类' 决定 HumanClass。注:有些 Class 可能满足自身 的条件(例如 Abstract 东西的 ClassAbstract) 所以它们本身成为实例。 第三:一个类别的实例可能 只在该类别出现一次,也就是输一个泪奔不能拥有重复的实例。") chinese_format.kif 1806-1810
(documentation Class 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 2078-2086
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Oldfaithful3.png") pictureList.kif 10639-10639
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Maximum_boxed.png") pictureList.kif 10638-10638
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/43/ Arbitrary-gametree-solved.png") pictureList.kif 10641-10641
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png") pictureList.kif 10640-10640
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Composite_trapezoidal_rule_illustration_small.png") pictureList.kif 10637-10637
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png") pictureList.kif 10636-10636
(externalImage Class "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Pyramid_of_Capitalist_System.png") pictureList.kif 9950-9950
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/7/71/Classificationsau.png") pictureList.kif 10643-10643
(externalImage Class "http://upload.wikimedia.org/wikipedia/en/8/8f/Personal_Household_Income_U.png") pictureList.kif 10635-10635
(subclass Class SetOrClass) Merge.kif 2076-2076 集或类subclass

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


(range ExtensionFn Class) Merge.kif 1702-1702 延伸函数range 的实例
(range KappaFn Class) Merge.kif 5484-5484 组成类别函数range 的实例
(subclass BiologicalSpecies Class) Mid-level-ontology.kif 8755-8755 生物物种subclass
(termFormat ChineseLanguage Class "类") chinese_format.kif 886-886
(termFormat EnglishLanguage Class "class") english_format.kif 974-974

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


(domain TTFxFn 1 Class) UXExperimentalTerms.kif 1697-1697 TTFxFn 的 1 数量 是 instance
(domain closedOn 2 Class) Merge.kif 3503-3503 闭上 的 2 数量 是 instance
(domain disjoint 1 Class) Merge.kif 393-393 不相交 的 1 数量 是 instance
(domain disjoint 2 Class) Merge.kif 394-394 不相交 的 2 数量 是 instance
(domain disjointDecomposition 1 Class) Merge.kif 566-566 不相交的分拆 的 1 数量 是 instance
(domain disjointDecomposition 2 Class) Merge.kif 567-567 不相交的分拆 的 2 数量 是 instance
(domain domain 3 Class) Merge.kif 208-208 定义域 的 3 数量 是 instance
(domain domainSubclass 3 Class) Merge.kif 230-230 子类别的定义域 的 3 数量 是 instance
(domain equivalenceRelationOn 2 Class) Merge.kif 3634-3634 属于等价关系 的 2 数量 是 instance
(domain exhaustiveDecomposition 1 Class) Merge.kif 548-548 彻底的分拆 的 1 数量 是 instance
(domain exhaustiveDecomposition 2 Class) Merge.kif 549-549 彻底的分拆 的 2 数量 是 instance
(domain immediateSubclass 1 Class) Merge.kif 151-151 直接子类别 的 1 数量 是 instance
(domain immediateSubclass 2 Class) Merge.kif 152-152 直接子类别 的 2 数量 是 instance
(domain instance 2 Class) Merge.kif 82-82 实例 的 2 数量 是 instance
(domain partialOrderingOn 2 Class) Merge.kif 3571-3571 含偏序关系 的 2 数量 是 instance
(domain partition 1 Class) Merge.kif 582-582 划分 的 1 数量 是 instance
(domain partition 2 Class) Merge.kif 583-583 划分 的 2 数量 是 instance
(domain range 2 Class) Merge.kif 305-305 范围 的 2 数量 是 instance
(domain reflexiveOn 2 Class) Merge.kif 3532-3532 含自反关系 的 2 数量 是 instance
(domain subclass 1 Class) Merge.kif 129-129 子类别 的 1 数量 是 instance
(domain subclass 2 Class) Merge.kif 130-130 子类别 的 2 数量 是 instance
(domain successorClass 1 Class) Merge.kif 8912-8912 successorClass 的 1 数量 是 instance
(domain successorClass 2 Class) Merge.kif 8913-8913 successorClass 的 2 数量 是 instance
(domain total 1 Class) UXExperimentalTerms.kif 4732-4732 total 的 1 数量 是 instance
(domain totalFacilityTypeInArea 2 Class) Transportation.kif 1214-1214 区域总设施类型 的 2 数量 是 instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (instance ?O Artifact))
Mid-level-ontology.kif 30394-30399
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (measure ?O ?Q))
Mid-level-ontology.kif 30401-30406
(=>
    (and
        (memberMeasure ?S ApproximateDiameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (approximateDiameter ?O ?Q))
Mid-level-ontology.kif 30562-30567
(=>
    (and
        (memberMeasure ?S Area ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (totalArea ?O ?Q))
Mid-level-ontology.kif 30584-30589
(=>
    (and
        (memberMeasure ?S Circumfrence ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (circumfrence ?O ?Q))
Mid-level-ontology.kif 30495-30500
(=>
    (and
        (memberMeasure ?S Diameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (diameter ?O ?Q))
Mid-level-ontology.kif 30540-30545
(=>
    (and
        (memberMeasure ?S Frequency ?Q)
        (instance ?S Class)
        (instance ?O ?S)
        (instance ?P Process)
        (agent ?P ?O))
    (frequency ?P ?Q))
Mid-level-ontology.kif 30692-30699
(=>
    (and
        (memberMeasure ?S Length ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (length ?O ?Q))
Mid-level-ontology.kif 30429-30434
(=>
    (and
        (memberMeasure ?S TransformerCapacity ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (transformerCapacity ?O ?Q))
Mid-level-ontology.kif 30722-30727
(=>
    (and
        (memberMeasure ?S VoltageRatingPrimary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingPrimary ?O ?Q))
Mid-level-ontology.kif 30606-30611
(=>
    (and
        (memberMeasure ?S VoltageRatingSecondary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingSecondary ?O ?Q))
Mid-level-ontology.kif 30649-30654
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (height ?O ?Q))
Mid-level-ontology.kif 30474-30479
(=>
    (and
        (memberMeasure ?S Width ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (width ?O ?Q))
Mid-level-ontology.kif 30448-30453
(=>
    (instance ?CLASS Class)
    (subclass ?CLASS Entity))
Merge.kif 811-813

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


(=>
    (and
        (instance ?CATEG WebListingCategory)
        (instance ?LISTING1 WebListing)
        (instance ?LISTING2 WebListing)
        (instance ?ITEM1 Object)
        (instance ?ITEM2 Object)
        (member ?LISTING1 ?CATEG)
        (member ?LISTING2 ?CATEG)
        (patient ?ITEM1 ?LISTING1)
        (patient ?ITEM2 ?LISTING2))
    (exists (?CLASS)
        (and
            (instance ?CLASS Class)
            (instance ?ITEM1 ?CLASS)
            (instance ?ITEM2 ?CLASS))))
UXExperimentalTerms.kif 182-197
(=>
    (disjointDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))
Merge.kif 574-578
(=>
    (exhaustiveDecomposition @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Class)))
Merge.kif 558-562
(=>
    (instance ?DESCRIPTIONPAGE ProductDescriptionPage)
    (exists (?PRODUCT ?ADVERTISEMENT)
        (and
            (instance ?PRODUCT Class)
            (instance ?ADVERTISEMENT Advertising)
            (patient ?ADVERTISEMENT ?PRODUCT)
            (part ?ADVERTISEMENT ?DESCRIPTIONPAGE))))
UXExperimentalTerms.kif 2243-2250
(=>
    (instance ?DESCRIPTIONPAGE ProductDescriptionPage)
    (exists (?PRODUCT ?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)
        (and
            (instance ?PRODUCT Class)
            (instance ?STATING Stating)
            (patient ?STATING ?DESCRIPTION)
            (refers ?DESCRIPTION ?PRODUCT)
            (result ?DESCRIPTION ?DESCRIPTIONCONTENT)
            (part ?DESCRIPTIONCONTENT ?DESCRIPTIONPAGE))))
UXExperimentalTerms.kif 2252-2261
(=>
    (subclass ?X ?Y)
    (and
        (instance ?X Class)
        (instance ?Y 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