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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subclass

Sigma KEE - subclass
subclass

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


s__documentation(s__subclass__m,s__ChineseLanguage,'(subclass ?CLASS1 ?CLASS2) 的意思是 ?CLASS1 是 ?CLASS2 的subclass,也就是说, ?CLASS1 的每一个instance同时也是 ?CLASS2 的一个instance。 一个Class可以具有多个超类别和子类别。')

Merge.kif 146-148
s__documentation(s__subclass__m,s__EnglishLanguage,'(subclass ?CLASS1 ?CLASS2) means that ?CLASS1 is a subclass of ?CLASS2, i.e. every instance of ?CLASS1 is also an instance of ?CLASS2. A Class may have multiple superclasses and subclasses.')

Merge.kif 143-145
s__domain(s__subclass__m,1,s__SetOrClass)

Merge.kif 141-141
s__domain(s__subclass__m,2,s__SetOrClass)

Merge.kif 142-142
s__instance(s__subclass__m,s__BinaryPredicate)

Merge.kif 139-139
s__instance(s__PartialOrderingRelation,s__SetOrClass)

Merge.kif 140-140

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


s__format(s__ChineseLanguage,s__subclass__m,'%1 %n 是 %2 的 subclass')

chinese_format.kif 319-319
s__format(s__EnglishLanguage,s__subclass__m,'%1 is %n a subclass of %2')

english_format.kif 192-192
s__format(s__FrenchLanguage,s__subclass__m,'%1 est %n une sous-classe de %2')

french_format.kif 182-182
s__format(s__ItalianLanguage,s__subclass__m,'%1 � %n una sottoclasse di %2')

relations-it.txt 271-271
s__format(s__PortugueseLanguage,s__subclass__m,'%1 e %n uma sub-classe de %2')

portuguese_format.kif 134-134
s__format(s__ar__m,s__subclass__m,'%1 هو %n صِنْف فَرْعِي مِن %2')

arabic_format.kif 127-127
s__format(s__cz__m,s__subclass__m,'%1 %p{je} %n{nen�} podt��dou %2')

relations-cz.txt 175-175
s__format(s__de__m,s__subclass__m,'%1 ist eine teilkategorie von %2')

relations-de.txt 419-419
s__format(s__hi__m,s__subclass__m,'%1 %2 kaa upavarga %n hai')

relations-hindi.txt 308-308
s__format(s__tg__m,s__subclass__m,'%1 %n ay ang klase mas tiyak sa %2')

relations-tg.txt 463-463
s__subrelation(s__subset__m,s__subclass__m)

Merge.kif 5475-5475
s__termFormat(s__ChineseLanguage,s__subclass__m,'子类别')

chinese_format.kif 320-320
s__termFormat(s__EnglishLanguage,s__subclass__m,'subclass')

domainEnglishFormat.kif 9708-9708
s__termFormat(s__ar__m,s__subclass__m,'«صِنْف فَرْعِي مِن»')

arabic_format.kif 577-577

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


( ∀ [V__ROOM,V__HOTELUNIT]
   ((s__attribute(V__ROOM,s__Oversized) ∧
       s__immediateInstance(V__ROOM,V__HOTELUNIT)
     ∧
     s__subclass(V__HOTELUNIT,s__HotelUnit))
   ⇒
   (∃ [V__NORMAL,V__AREA1,V__AREA2]
     (s__immediateInstance(V__NORMAL,V__HOTELUNIT)
     ∧
     s__measure(V__NORMAL,V__AREA1)
   ∧
   s__measure(V__ROOM,V__AREA2)

s__instance(V__AREA1,s__AreaMeasure) ∧
s__instance(V__AREA2,s__AreaMeasure) ∧
s__greaterThan(V__AREA2,V__AREA1))))
)

Hotel.kif 1136-1148
( ∀ [V__AGENT,V__CLASS]
   ((s__authors(V__AGENT,V__CLASS)
     ∧
     s__subclass(V__CLASS,s__MusicalComposition))
   ⇒
   s__composer(V__AGENT,V__CLASS))
)

Media.kif 1853-1857
( ∀ [V__AGENT,V__PROCESS,V__SUB]
   ((s__biochemicalAgentDelivery(V__AGENT,V__PROCESS)
     ∧
     s__subclass(V__SUB,V__PROCESS))

s__biochemicalAgentDelivery(V__AGENT,V__SUB))
)

WMD.kif 783-787
( ∀ [V__AGENT,V__ORGANISM,V__SUB]
   ((s__biologicalAgentCarrier(V__AGENT,V__ORGANISM)
     ∧
     s__subclass(V__SUB,V__ORGANISM))

s__biologicalAgentCarrier(V__AGENT,V__SUB))
)

WMD.kif 922-926
( ∀ [V__PC,V__ROLE,V__MV]
   ((s__capability(V__PC,V__ROLE,V__MV)
     ∧
     s__subclass(V__PC,s__Shooting))
   ⇒
   (∃ [V__WEAPON]
     (s__instance(V__WEAPON,s__Weapon) ∧
       s__part(V__WEAPON,V__MV)
     ∧
     s__capability(V__PC,V__ROLE,V__WEAPON))))
)

MilitaryDevices.kif 48-56
( ∀ [V__A3,V__CURRENCY,V__A2,V__AREA]
   ((s__codeMapping(s__ISO_4217_A,V__A3,V__CURRENCY)
     ∧
     s__codeMapping(s__ISO_3166_1_alpha_2,V__A2,V__AREA)
   ∧
   s__subclass(V__AREA,s__GeopoliticalArea) ∧
   (V__A2 = s__SubstringFn(V__A3,0,2)))

s__currencyType(V__AREA,V__CURRENCY))
)

Media.kif 2859-2865
( ∀ [V__HOLIDAY,V__DAY,V__MONTH,V__YEAR,V__DATE,V__LATER_YEAR]
   ((s__commemoratesDate(V__HOLIDAY,s__DayFn(V__DAY,s__MonthFn(V__MONTH,s__YearFn(V__YEAR))))

s__instance(V__DATE,V__HOLIDAY)

s__subclass(V__HOLIDAY,s__FixedHoliday) ∧
s__lessThanOrEqualTo(V__YEAR,V__LATER_YEAR))

s__instance(V__DATE,s__DayFn(V__DAY,s__MonthFn(V__MONTH,s__YearFn(V__LATER_YEAR)))))
)

Government.kif 613-619
No TPTP formula. May not be expressible in strict first order. Hotel.kif 477-493
No TPTP formula. May not be expressible in strict first order. Hotel.kif 495-510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11141-11152
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11112-11123
( ∀ [V__DISEASE,V__SUBSTANCE,V__PROCESS,V__SUB]
   ((s__diseaseTreatment(V__DISEASE,V__SUBSTANCE,V__PROCESS)
     ∧
     s__subclass(V__SUB,V__PROCESS))

s__diseaseTreatment(V__DISEASE,V__SUBSTANCE,V__SUB))
)

WMD.kif 903-907
( ∀ [V__DISEASE,V__SUBSTANCE,V__PROCESS,V__SUB]
   ((s__diseaseTreatment(V__DISEASE,V__SUBSTANCE,V__PROCESS)
     ∧
     s__subclass(V__SUB,V__SUBSTANCE))

s__diseaseTreatment(V__DISEASE,V__SUB,V__PROCESS))
)

WMD.kif 909-913
No TPTP formula. May not be expressible in strict first order. Economy.kif 2116-2125
No TPTP formula. May not be expressible in strict first order. Economy.kif 2160-2169
No TPTP formula. May not be expressible in strict first order. Economy.kif 2206-2215
No TPTP formula. May not be expressible in strict first order. Economy.kif 1984-1993
( ∀ [V__CLASS1,V__OBJCLASS1,V__CLASS2,V__OBJCLASS2]
   (((V__CLASS1 = s__ReceivingAnObjectFn(V__OBJCLASS1))
     ∧
     (V__CLASS2 = s__ReceivingAnObjectFn(V__OBJCLASS2))
   ∧
   s__subclass(V__OBJCLASS1,V__OBJCLASS2))

s__subclass(V__CLASS1,V__CLASS2))
)

Media.kif 195-200
No TPTP formula. May not be expressible in strict first order. Economy.kif 2281-2290
( ∀ [V__ROOM,V__OBJ,V__R,V__GUEST,V__HOTEL,V__O,V__P]
   ((s__freeRoomAmenity(V__ROOM,V__OBJ)
     ∧
     s__subclass(V__OBJ,s__Object) ∧
     s__instance(V__R,V__ROOM)
   ∧
   s__stays(V__GUEST,V__R)

s__element(V__R,s__PropertyFn(V__HOTEL))

s__instance(V__O,V__OBJ)

s__located(V__O,V__R)

s__instance(V__P,s__Process) ∧
s__agent(V__P,V__GUEST)

(s__patient(V__P,V__O)

s__instrument(V__P,V__O)

s__resource(V__P,V__O)))

s__price(V__P,s__MeasureFn(0,s__UnitedStatesDollar),V__HOTEL))
)

Hotel.kif 333-348
( ∀ [V__ROOM,V__PROC,V__R,V__GUEST,V__HOTEL,V__P,V__S]
   ((s__freeRoomAmenity(V__ROOM,V__PROC)
     ∧
     s__subclass(V__PROC,s__Process) ∧
     s__instance(V__R,V__ROOM)
   ∧
   s__stays(V__GUEST,V__R)

s__element(V__R,s__PropertyFn(V__HOTEL))

(s__instance(V__P,V__PROC)

(s__instance(V__S,V__PROC)

s__subProcess(V__P,V__S)))

s__located(V__P,V__R))

s__price(V__P,s__MeasureFn(0,s__UnitedStatesDollar),V__HOTEL))
)

Hotel.kif 350-363
No TPTP formula. May not be expressible in strict first order. Hotel.kif 780-801
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308
No TPTP formula. May not be expressible in strict first order. Media.kif 1902-1906
No TPTP formula. May not be expressible in strict first order. Media.kif 1890-1894

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ∀ [V__CLASS]
   (s__instance(V__CLASS,s__Class) <⇒
     s__subclass(V__CLASS,s__Entity))
   )

Merge.kif 854-856
( ∀ [V__REL,V__NUMBER,V__CLASS1,V__CLASS2]
   ((s__domain(V__REL,V__NUMBER,V__CLASS1)
     ∧
     s__domain(V__REL,V__NUMBER,V__CLASS2))

(s__subclass(V__CLASS1,V__CLASS2)

s__subclass(V__CLASS2,V__CLASS1)))
)

Merge.kif 249-255
( ∀ [V__NUMBER,V__CLASS,V__ROW1]
   ((s__domainSubclass(s__contraryAttribute__m,V__NUMBER,V__CLASS)
     ∧
     s__instance(s__contraryAttribute__m,s__Predicate) ∧
     s__contraryAttribute_1(V__ROW1))

s__subclass(s__ListOrderFn(s__ListFn_1(V__ROW1)
,V__NUMBER)
,V__CLASS))
)

Merge.kif 3190-3195
( ∀ [V__REL,V__NUMBER,V__CLASS1,V__CLASS2]
   ((s__domainSubclass(V__REL,V__NUMBER,V__CLASS1)
     ∧
     s__domainSubclass(V__REL,V__NUMBER,V__CLASS2))

(s__subclass(V__CLASS1,V__CLASS2)

s__subclass(V__CLASS2,V__CLASS1)))
)

Merge.kif 275-281
( ∀ [V__CLASS1,V__OBJCLASS1,V__CLASS2,V__OBJCLASS2]
   (((V__CLASS1 = s__ReceivingAnObjectFn(V__OBJCLASS1))
     ∧
     (V__CLASS2 = s__ReceivingAnObjectFn(V__OBJCLASS2))
   ∧
   s__subclass(V__OBJCLASS1,V__OBJCLASS2))

s__subclass(V__CLASS1,V__CLASS2))
)

Media.kif 195-200
( ∀ [V__PUB,V__TEXT]
   ((s__instance(V__PUB,s__Publication) ∧
       s__patient(V__PUB,V__TEXT))
   ⇒
   s__subclass(V__TEXT,s__Text))
)

Merge.kif 12718-12722
( ∀ [V__REL,V__CLASS]
   ((s__instance(V__REL,s__EconomicRelation) ∧
       s__domain(V__REL,1,V__CLASS))
   ⇒
   s__subclass(V__CLASS,s__GeopoliticalArea))
)

Mid-level-ontology.kif 14460-14464
( ∀ [V__SEQ,V__CLASS]
   ((s__instance(V__SEQ,s__SequenceFunction) ∧
       s__range(V__SEQ,V__CLASS))
   ⇒
   s__subclass(V__CLASS,s__Integer))
)

Merge.kif 3469-3473
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28110-28139
( ∀ [V__REL,V__CLASS1,V__CLASS2]
   ((s__range(V__REL,V__CLASS1)
     ∧
     s__range(V__REL,V__CLASS2))

(s__subclass(V__CLASS1,V__CLASS2)

s__subclass(V__CLASS2,V__CLASS1)))
)

Merge.kif 360-366
( ∀ [V__FUNCTION,V__CLASS,V__ROW1,V__VALUE]
   ((s__rangeSubclass(V__FUNCTION,V__CLASS)
     ∧
     (s__AssignmentFn_2(V__FUNCTION,V__ROW1)
     = V__VALUE))

s__subclass(V__VALUE,V__CLASS))
)

Merge.kif 377-381
( ∀ [V__REL,V__CLASS1,V__CLASS2]
   ((s__rangeSubclass(V__REL,V__CLASS1)
     ∧
     s__rangeSubclass(V__REL,V__CLASS2))

(s__subclass(V__CLASS1,V__CLASS2)

s__subclass(V__CLASS2,V__CLASS1)))
)

Merge.kif 389-395
( ∀ [V__DOCTOR]
   (s__attribute(V__DOCTOR,s__MedicalDoctor) ⇒
     (∃ [V__PROCESS1,V__PROCESS2]
       (s__subclass(V__PROCESS1,s__DiagnosticProcess) ∧
         s__subclass(V__PROCESS2,s__TherapeuticProcess) ∧
         s__capability(V__PROCESS1,s__agent__m,V__DOCTOR)
       ∧
       s__capability(V__PROCESS2,s__agent__m,V__DOCTOR))))
)

Mid-level-ontology.kif 18657-18664
( ∀ [V__CLASS1,V__CLASS2,V__INTERSECT]
   (s__classIntersection(V__CLASS1,V__CLASS2,V__INTERSECT)
   ⇒
   (s__subclass(V__INTERSECT,V__CLASS1)
   ∧
   s__subclass(V__INTERSECT,V__CLASS2)))
)

ComputerInput.kif 73-77
( ∀ [V__TOKEN,V__X]
   (s__codeMapping(s__ISO_639_1,V__TOKEN,V__X)
   ⇒
   (s__instance(V__X,s__HumanLanguage) ∨
     s__subclass(V__X,s__HumanLanguage)))
)

Languages.kif 14683-14687
( ∀ [V__DISEASE,V__PROCESS]
   (s__diseaseTreatment(V__DISEASE,s__OralAntibiotic,V__PROCESS)
   ⇒
   s__subclass(V__PROCESS,s__Ingesting))
)

WMD.kif 1189-1191
( ∀ [V__DISEASE,V__PROCESS]
   (s__diseaseTreatment(V__DISEASE,s__TopicalAntibiotic,V__PROCESS)
   ⇒
   s__subclass(V__PROCESS,s__Covering))
)

WMD.kif 1216-1218
( ∀ [V__CLASS,V__ROW1]
   (s__disjointDecomposition_2(V__CLASS,V__ROW1)
   ⇒
   (∀ [V__ITEM]
     (s__inList(V__ITEM,s__ListFn_1(V__ROW1))
   ⇒
   s__subclass(V__ITEM,V__CLASS))))
)

Merge.kif 3133-3138
( ∀ [V__CLASS,V__TYPE,V__AREA]
   ((V__CLASS = s__GeographicPartTypeFn(V__TYPE,V__AREA))
   ⇒
   s__subclass(V__CLASS,V__TYPE))
)

Geography.kif 6244-6246
( ∀ [V__X,V__CLASS,V__ATTR]
   ((V__X = s__AttrFn(V__CLASS,V__ATTR))
   ⇒
   (∀ [V__I]
     (s__instance(V__I,V__X)
     ⇒
     (s__instance(V__I,V__CLASS)
     ∧
     s__subclass(V__X,V__CLASS)
   ∧
   s__property(V__I,V__ATTR)))))
)

Merge.kif 1823-1832
( ∀ [V__STRING,V__PRODUCTTYPE,V__LANGUAGE]
   (s__groupingTitle(V__STRING,V__PRODUCTTYPE,V__LANGUAGE)
   ⇒
   s__subclass(V__PRODUCTTYPE,s__Collection))
)

Media.kif 3118-3120
( ∀ [V__O,V__L]
   (s__habitatOfOrganism(V__O,V__L)
   ⇒
   (¬ s__subclass(V__O,s__DomesticAnimal)))
)

Mid-level-ontology.kif 28453-28456
( ∀ [V__ENTITY,V__CLASS]
   (s__immediateInstance(V__ENTITY,V__CLASS)
   ⇒
   (¬ (∃ [V__SUBCLASS]
       (s__subclass(V__SUBCLASS,V__CLASS)
       ∧
       (¬ (V__SUBCLASS = V__CLASS))
       ∧
       s__instance(V__ENTITY,V__SUBCLASS)))))
)

Merge.kif 104-110
( ∀ [V__CLASS1,V__CLASS2]
   (s__immediateSubclass(V__CLASS1,V__CLASS2)
   ⇒
   (¬ (∃ [V__CLASS3]
       (s__subclass(V__CLASS3,V__CLASS2)
       ∧
       s__subclass(V__CLASS1,V__CLASS3)
     ∧
     (¬ (V__CLASS2 = V__CLASS3))
     ∧
     (¬ (V__CLASS1 = V__CLASS3))))))
)

Merge.kif 176-183
( ∀ [V__AREA]
   (s__instance(V__AREA,s__ColdClimateZone) ⇒
     (∃ [V__MO,V__AMOUNT]
       (s__subclass(V__MO,s__Month) ∧
         s__averageTemperatureForPeriod(V__AREA,V__MO,V__AMOUNT)
       ∧
       s__lessThan(V__AMOUNT,s__MeasureFn(-3,s__CelsiusDegree)))))
)

Geography.kif 1481-1487

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(∃ [V__T]
   (s__subclass(V__T,s__HandToolBox) ∧
     s__manufacturer(s__SortimoCorp,V__T)))

Cars.kif 5080-5083

appearance as argument number 0
-------------------------


s__instance(s__LifeThreateningAgent,s__SetOrClass)

WMD.kif 1283-1283
s__subclass(s__AgentOfOrganismFn(s__CoccidioidesImmitis),s__LifeThreateningAgent)

WMD.kif 1276-1276
s__subclass(s__AgentOfOrganismFn(s__MalarialPlasmodium),s__BiologicalAgent)

WMD.kif 1462-1462
s__instance(s__LifeThreateningAgent,s__SetOrClass)

WMD.kif 1271-1271
s__instance(s__LifeThreateningAgent,s__SetOrClass)

WMD.kif 1823-1823
s__subclass(s__AgentOfOrganismFn(s__YersiniaPestis),s__LifeThreateningAgent)

WMD.kif 400-400
s__subclass(s__DeadFn(s__Alfalfa),s__PlantAgriculturalArtifact)

Society.kif 1059-1059
s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3938-3938
s__subclass(s__DeadFn(s__Avocado),s__GroceryProduce)

Economy.kif 3964-3964
s__subclass(s__DeadFn(s__Banana),s__GroceryProduce)

Economy.kif 3967-3967
s__subclass(s__DeadFn(s__Berry),s__GroceryProduce)

Economy.kif 3935-3935
s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3970-3970
s__subclass(s__DeadFn(s__Cabbage),s__GroceryProduce)

Economy.kif 3843-3843
s__subclass(s__DeadFn(s__Carrot),s__GroceryProduce)

Economy.kif 3876-3876
s__subclass(s__DeadFn(s__Cassava),s__GroceryProduce)

Economy.kif 3896-3896
s__subclass(s__DeadFn(s__Cauliflower),s__GroceryProduce)

Economy.kif 3846-3846
s__subclass(s__DeadFn(s__Chrysanthemum),s__PlantAgriculturalArtifact)

Society.kif 1073-1073
s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3944-3944
s__subclass(s__DeadFn(s__Clover),s__PlantAgriculturalArtifact)

Society.kif 1063-1063
s__instance(s__GroceryProduce,s__SetOrClass)

Economy.kif 3973-3973
s__subclass(s__DeadFn(s__Cucumber),s__GroceryProduce)

Economy.kif 3840-3840
s__subclass(s__DeadFn(s__DateFruit),s__GroceryProduce)

Economy.kif 3976-3976
s__subclass(s__DeadFn(s__EdibleNut),s__GroceryProduce)

Economy.kif 4019-4019
s__subclass(s__DeadFn(s__Eggplant),s__GroceryProduce)

Economy.kif 3849-3849
s__subclass(s__DeadFn(s__ForageCrop),s__PlantAgriculturalArtifact)

Society.kif 1064-1064

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners