TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Class ChineseLanguage " Class 在三个重要方面与 Set 不同：第一，我们不假设 Class 为能延伸的，也就是说不同的 Class 可能由完全相同的实例。第二，Class 通常有一个决定该 Class 实例的附带`条件'。所以举例说：`人类' 决定 Human 的 Class。注：有些 Class 可能满足自身的条件(例如 Abstract 东西的 Class 是 Abstract) 所以它们本身成为实例。第三：一个类别的实例可能只在该类别出现一次，也就是输一个泪奔不能拥有重复的实例。")	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 Class and SetOrClass

appearance as argument number 2

(range ExtensionFn Class)	Merge.kif 1702-1702	range ExtensionFn and Class
(range KappaFn Class)	Merge.kif 5484-5484	range KappaFn and Class
(subclass BiologicalSpecies Class)	Mid-level-ontology.kif 8755-8755	subclass BiologicalSpecies and Class
(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	domain TTFxFn, 1 and Class
(domain closedOn 2 Class)	Merge.kif 3503-3503	domain closedOn, 2 and Class
(domain disjoint 1 Class)	Merge.kif 393-393	domain disjoint, 1 and Class
(domain disjoint 2 Class)	Merge.kif 394-394	domain disjoint, 2 and Class
(domain disjointDecomposition 1 Class)	Merge.kif 566-566	domain disjointDecomposition, 1 and Class
(domain disjointDecomposition 2 Class)	Merge.kif 567-567	domain disjointDecomposition, 2 and Class
(domain domain 3 Class)	Merge.kif 208-208	domain domain, 3 and Class
(domain domainSubclass 3 Class)	Merge.kif 230-230	domain domainSubclass, 3 and Class
(domain equivalenceRelationOn 2 Class)	Merge.kif 3634-3634	domain equivalenceRelationOn, 2 and Class
(domain exhaustiveDecomposition 1 Class)	Merge.kif 548-548	domain exhaustiveDecomposition, 1 and Class
(domain exhaustiveDecomposition 2 Class)	Merge.kif 549-549	domain exhaustiveDecomposition, 2 and Class
(domain immediateSubclass 1 Class)	Merge.kif 151-151	domain immediateSubclass, 1 and Class
(domain immediateSubclass 2 Class)	Merge.kif 152-152	domain immediateSubclass, 2 and Class
(domain instance 2 Class)	Merge.kif 82-82	domain instance, 2 and Class
(domain partialOrderingOn 2 Class)	Merge.kif 3571-3571	domain partialOrderingOn, 2 and Class
(domain partition 1 Class)	Merge.kif 582-582	domain partition, 1 and Class
(domain partition 2 Class)	Merge.kif 583-583	domain partition, 2 and Class
(domain range 2 Class)	Merge.kif 305-305	domain range, 2 and Class
(domain reflexiveOn 2 Class)	Merge.kif 3532-3532	domain reflexiveOn, 2 and Class
(domain subclass 1 Class)	Merge.kif 129-129	domain subclass, 1 and Class
(domain subclass 2 Class)	Merge.kif 130-130	domain subclass, 2 and Class
(domain successorClass 1 Class)	Merge.kif 8912-8912	domain successorClass, 1 and Class
(domain successorClass 2 Class)	Merge.kif 8913-8913	domain successorClass, 2 and Class
(domain total 1 Class)	UXExperimentalTerms.kif 4732-4732	domain total, 1 and Class
(domain totalFacilityTypeInArea 2 Class)	Transportation.kif 1214-1214	domain totalFacilityTypeInArea, 2 and Class

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	memberMeasure Class, MeasurementAttribute and Quantity instance Class and Class instance Entity and Class instance Entity and Artifact
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Class) (instance ?O ?S)) (measure ?O ?Q))	Mid-level-ontology.kif 30401-30406	memberMeasure Class, MeasurementAttribute and PhysicalQuantity instance Class and Class instance Physical and Class measure Physical and PhysicalQuantity
(=> (and (memberMeasure ?S ApproximateDiameter ?Q) (instance ?S Class) (instance ?O ?S)) (approximateDiameter ?O ?Q))	Mid-level-ontology.kif 30562-30567	memberMeasure Class, ApproximateDiameter and LengthMeasure instance Class and Class instance SelfConnectedObject and Class approximateDiameter SelfConnectedObject and LengthMeasure
(=> (and (memberMeasure ?S Area ?Q) (instance ?S Class) (instance ?O ?S)) (totalArea ?O ?Q))	Mid-level-ontology.kif 30584-30589	memberMeasure Class, Area and AreaMeasure instance Class and Class instance Region and Class totalArea Region and AreaMeasure
(=> (and (memberMeasure ?S Circumfrence ?Q) (instance ?S Class) (instance ?O ?S)) (circumfrence ?O ?Q))	Mid-level-ontology.kif 30495-30500	memberMeasure Class, Circumfrence and LengthMeasure instance Class and Class instance Circle and Class circumfrence Circle and LengthMeasure
(=> (and (memberMeasure ?S Diameter ?Q) (instance ?S Class) (instance ?O ?S)) (diameter ?O ?Q))	Mid-level-ontology.kif 30540-30545	memberMeasure Class, Diameter and LengthMeasure instance Class and Class instance Circle and Class diameter Circle and LengthMeasure
(=> (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	memberMeasure Class, Frequency and TimeDuration instance Class and Class instance Agent and Class instance Process and Process agent Process and Agent frequency Process and TimeDuration
(=> (and (memberMeasure ?S Length ?Q) (instance ?S Class) (instance ?O ?S)) (length ?O ?Q))	Mid-level-ontology.kif 30429-30434	memberMeasure Class, Length and Quantity instance Class and Class instance Physical and Class length Physical and Quantity
(=> (and (memberMeasure ?S TransformerCapacity ?Q) (instance ?S Class) (instance ?O ?S)) (transformerCapacity ?O ?Q))	Mid-level-ontology.kif 30722-30727	memberMeasure Class, TransformerCapacity and FunctionQuantity instance Class and Class instance ElectricalTransformer and Class transformerCapacity ElectricalTransformer and FunctionQuantity
(=> (and (memberMeasure ?S VoltageRatingPrimary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingPrimary ?O ?Q))	Mid-level-ontology.kif 30606-30611	memberMeasure Class, VoltageRatingPrimary and FunctionQuantity instance Class and Class instance ElectricalTransformer and Class voltageRatingPrimary ElectricalTransformer and FunctionQuantity
(=> (and (memberMeasure ?S VoltageRatingSecondary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingSecondary ?O ?Q))	Mid-level-ontology.kif 30649-30654	memberMeasure Class, VoltageRatingSecondary and FunctionQuantity instance Class and Class instance ElectricalTransformer and Class voltageRatingSecondary ElectricalTransformer and FunctionQuantity
(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (height ?O ?Q))	Mid-level-ontology.kif 30474-30479	memberMeasure Class, Width and LengthMeasure instance Class and Class instance SelfConnectedObject and Class height SelfConnectedObject and LengthMeasure
(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (width ?O ?Q))	Mid-level-ontology.kif 30448-30453	memberMeasure Class, Width and Quantity instance Class and Class instance Physical and Class width Physical and Quantity
(=> (instance ?CLASS Class) (subclass ?CLASS Entity))	Merge.kif 811-813	instance Class and Class subclass Class and Entity

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	instance Collection and WebListingCategory instance Physical and WebListing instance Physical and WebListing instance Process and Object instance Process and Object member Physical and Collection member Physical and Collection patient Process and Physical patient Process and Physical Class instance Class and Class instance Process and Class instance Process and Class
(=> (disjointDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class)))	Merge.kif 574-578	disjointDecomposition @ROW inList Entity and ListFn @ROW instance Entity and Class
(=> (exhaustiveDecomposition @ROW) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Class)))	Merge.kif 558-562	exhaustiveDecomposition @ROW inList Entity and ListFn @ROW instance Entity and Class
(=> (instance ?DESCRIPTIONPAGE ProductDescriptionPage) (exists (?PRODUCT ?ADVERTISEMENT) (and (instance ?PRODUCT Class) (instance ?ADVERTISEMENT Advertising) (patient ?ADVERTISEMENT ?PRODUCT) (part ?ADVERTISEMENT ?DESCRIPTIONPAGE))))	UXExperimentalTerms.kif 2243-2250	instance Object and ProductDescriptionPage Entity Process instance Entity and Class instance Process and Advertising patient Process and Entity part Process and Object
(=> (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	instance Object and ProductDescriptionPage Entity Process, Process and ProcessCONTENT instance Entity and Class instance Process and Stating patient Process and Process refers Process and Entity result Process and ProcessCONTENT part ProcessCONTENT and Object
(=> (subclass ?X ?Y) (and (instance ?X Class) (instance ?Y Class)))	Merge.kif 135-139	subclass Class and Class instance Class and Class instance Class and Class

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

Show without tree

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

KB Term:			Term intersection

English Word: