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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of subclass is an instance of set or class
s__domain(s__subclass__m,2,s__SetOrClass)

 Merge.kif 142-142 The number 2 argument of subclass is an instance of set or class
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__subclass__m,s__BinaryPredicate)

 Merge.kif 139-139 subclass is an instance of binary predicate
s__instance(s__subclass__m,s__PartialOrderingRelation)

s__instance(s__PartialOrderingRelation,s__SetOrClass)

 Merge.kif 140-140 subclass is an instance of partial ordering relation

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__immediateSubclass__m,s__subclass__m)

 Merge.kif 162-162 immediate subclass is a subrelation of subclass
s__subrelation(s__subset__m,s__subclass__m)

 Merge.kif 5454-5454 subset is a subrelation of subclass
s__termFormat(s__ChineseLanguage,s__subclass__m,'子类别')

 chinese_format.kif 320-320 "子类别" is the printable form of subclass in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__subclass__m,'subclass')

 domainEnglishFormat.kif 9712-9712 "subclass" is the printable form of subclass in english language
s__termFormat(s__ar__m,s__subclass__m,'«صِنْف فَرْعِي مِن»')

 arabic_format.kif 577-577 "«صِنْف فَرْعِي مِن»" is the printable form of subclass in ar

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) &
greater(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) &
lesseq(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
( ! [V__CUST,V__AGENT,V__PHYS,V__HOTEL,V__PROC,V__PHY] :
   ((s__customer(V__CUST,V__AGENT)
     &
     s__propertyAmenity(V__AGENT,V__PHYS)
   &
   s__subclass(V__PHYS,s__Process))
=>
s__modalAttribute('(? [V__S,V__LOC] : (s__element(V__LOC,s__PropertyFn(V__AGENT)) & s__agent(V__S,V__HOTEL) & (s__instance(V__S,V__PHYS) | (s__instance(V__PROC,V__PHY) & s__subProcess(V__S,V__PROC))) & s__located(V__S,V__LOC)))',s__Possibility))
)

 Hotel.kif 495-510
( ! [V__OBJECT,V__Q,V__UNIT1,V__UNITCLASS] :
   ((s__defaultMaximumMeasure(V__OBJECT,s__MeasureFn(V__Q,V__UNIT1))
   &
   s__subclass(V__UNITCLASS,s__NonCompositeUnitMeasure) &
   s__instance(V__UNIT1,V__UNITCLASS))
=>
s__modalAttribute('(? [V__INST,V__QUANTITY,V__UNIT2] : (s__instance(V__INST,V__OBJECT) & s__measure(V__INST,s__MeasureFn(V__QUANTITY,V__UNIT2)) & s__instance(V__UNIT2,V__UNITCLASS) & greater(s__MeasureFn(V__QUANTITY,V__UNIT2),s__MeasureFn(V__Q,V__UNIT1))))',s__Unlikely))
)

 DimensioningAmenities.kif 223-234
( ! [V__OBJECT,V__Q,V__UNIT1,V__UNITCLASS] :
   ((s__defaultMinimumMeasure(V__OBJECT,s__MeasureFn(V__Q,V__UNIT1))
   &
   s__subclass(V__UNITCLASS,s__NonCompositeUnitOfMeasure) &
   s__instance(V__UNIT1,V__UNITCLASS))
=>
s__modalAttribute('(? [V__INST,V__QUANTITY,V__UNIT2] : (s__instance(V__INST,V__OBJECT) & s__measure(V__INST,s__MeasureFn(V__QUANTITY,V__UNIT2)) & s__instance(V__UNIT2,V__UNITCLASS) & less(s__MeasureFn(V__QUANTITY,V__UNIT2),s__MeasureFn(V__Q,V__UNIT1))))',s__Unlikely))
)

 DimensioningAmenities.kif 194-205
( ! [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
  • If ?DISEASE disease treatment ?SUBSTANCE for ?PROCESS and ?SUB is a subclass of ?PROCESS,
  • then ?DISEASE disease treatment ?SUBSTANCE for ?SUB
( ! [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
  • If ?DISEASE disease treatment ?SUBSTANCE for ?PROCESS and ?SUB is a subclass of ?SUBSTANCE,
  • then ?DISEASE disease treatment ?SUB for ?PROCESS
( ! [V__AREA,V__AMOUNT,V__PERIOD] :
   ((s__electricityConsumptionInPeriod(V__AREA,V__AMOUNT,V__PERIOD)
     &
     (s__subclass(V__PERIOD,s__Year) |
       s__subclass(V__PERIOD,s__FiscalYearFn(V__AREA))))
=>
(? [V__YEAR] :
(s__instance(V__YEAR,V__PERIOD)
&
s__holdsDuring(V__YEAR,'s__annualElectricityConsumption(V__AREA,V__AMOUNT)'))))
)

 Economy.kif 2116-2125
  • If ?AREA electricity consumption in period ?AMOUNT for ?PERIOD and ?PERIOD is a subclass of year or ?PERIOD is a subclass of the fiscal year of ?AREA,
  • then there exists ?YEAR such that ?YEAR is an instance of ?PERIOD and ?AMOUNT is an annual electricity consumption of ?AREA holds during ?YEAR
( ! [V__AREA,V__AMOUNT,V__PERIOD] :
   ((s__electricityExportInPeriod(V__AREA,V__AMOUNT,V__PERIOD)
     &
     (s__subclass(V__PERIOD,s__Year) |
       s__subclass(V__PERIOD,s__FiscalYearFn(V__AREA))))
=>
(? [V__YEAR] :
(s__instance(V__YEAR,V__PERIOD)
&
s__holdsDuring(V__YEAR,'s__annualElectricityExport(V__AREA,V__AMOUNT)'))))
)

 Economy.kif 2160-2169
( ! [V__AREA,V__AMOUNT,V__PERIOD] :
   ((s__electricityImportInPeriod(V__AREA,V__AMOUNT,V__PERIOD)
     &
     (s__subclass(V__PERIOD,s__Year) |
       s__subclass(V__PERIOD,s__FiscalYearFn(V__AREA))))
=>
(? [V__YEAR] :
(s__instance(V__YEAR,V__PERIOD)
&
s__holdsDuring(V__YEAR,'s__annualElectricityImport(V__AREA,V__AMOUNT)'))))
)

 Economy.kif 2206-2215
( ! [V__AREA,V__AMOUNT,V__PERIOD] :
   ((s__electricityProductionInPeriod(V__AREA,V__AMOUNT,V__PERIOD)
     &
     (s__subclass(V__PERIOD,s__Year) |
       s__subclass(V__PERIOD,s__FiscalYearFn(V__AREA))))
=>
(? [V__YEAR] :
(s__instance(V__YEAR,V__PERIOD)
&
s__holdsDuring(V__YEAR,'s__annualElectricityProduction(V__AREA,V__AMOUNT)'))))
)

 Economy.kif 1984-1993
  • If ?AREA electricity production in period ?AMOUNT for ?PERIOD and ?PERIOD is a subclass of year or ?PERIOD is a subclass of the fiscal year of ?AREA,
  • then there exists ?YEAR such that ?YEAR is an instance of ?PERIOD and ?AMOUNT is an annual electricity production of ?AREA holds during ?YEAR
( ! [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__AREA,V__AMOUNT,V__PERIOD] :
   ((s__exportTotalInPeriod(V__AREA,V__AMOUNT,V__PERIOD)
     &
     (s__subclass(V__PERIOD,s__Year) |
       s__subclass(V__PERIOD,s__FiscalYearFn(V__AREA))))
=>
(? [V__YEAR] :
(s__instance(V__YEAR,V__PERIOD)
&
s__holdsDuring(V__YEAR,'s__annualExportTotal(V__AREA,V__AMOUNT)'))))
)

 Economy.kif 2281-2290
  • If ?AREA export total in period ?AMOUNT for ?PERIOD and ?PERIOD is a subclass of year or ?PERIOD is a subclass of the fiscal year of ?AREA,
  • then there exists ?YEAR such that ?YEAR is an instance of ?PERIOD and ?AMOUNT is an annual export total of ?AREA holds during ?YEAR
( ! [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
( ! [V__FR,V__PHY,V__RM,V__HOTEL,V__RENT,V__CUST] :
   ((s__functionRoomAmenity(V__FR,V__PHY)
     &
     s__instance(V__RM,V__FR)
   &
   s__element(V__RM,s__PropertyFn(V__HOTEL))
&
s__instance(V__RENT,s__Renting) &
s__patient(V__RENT,V__RM)
&
s__agent(V__RENT,V__HOTEL)
&
s__destination(V__RENT,V__CUST)
&
s__subclass(V__PHY,s__Object))
=>
s__modalAttribute('(? [V__O,V__P] : (s__instance(V__O,V__PHY) & s__instance(V__P,s__Process) & (s__resource(V__P,V__O) | s__instrument(V__P,V__O) | s__patient(V__P,V__O)) & (s__agent(V__P,V__CUST) | s__experiencer(V__P,V__CUST))))',s__Possibility))
)

 Hotel.kif 780-801
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308
( ! [V__T1,V__AGENT,V__COMPCLASS] :
   ((s__holdsDuring(V__T1,'s__publishes(V__AGENT,V__COMPCLASS)')
     &
     s__subclass(V__COMPCLASS,s__Book))
   =>
   s__holdsDuring(V__T1,'s__attribute(V__AGENT,s__BookPublishers)'))
)

 Media.kif 1902-1906
( ! [V__T1,V__AGENT,V__COMPCLASS] :
   ((s__holdsDuring(V__T1,'s__publishes(V__AGENT,V__COMPCLASS)')
     &
     s__subclass(V__COMPCLASS,s__MusicalComposition))
   =>
   s__holdsDuring(V__T1,'s__attribute(V__AGENT,s__MusicPublishers)'))
)

 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 852-854 ?CLASS is an instance of class if and only if ?CLASS is a subclass of entity
( ! [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 247-253
  • If the number ?NUMBER argument of ?REL is an instance of ?CLASS1 and the number ?NUMBER argument of ?REL is an instance of ?CLASS2,
  • then ?CLASS1 is a subclass of ?CLASS2 or ?CLASS2 is a subclass of ?CLASS1
( ! [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 3180-3185
( ! [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 273-279
  • If the number ?NUMBER argument of ?REL is a subclass of ?CLASS1 and the number ?NUMBER argument of ?REL is a subclass of ?CLASS2,
  • then ?CLASS1 is a subclass of ?CLASS2 or ?CLASS2 is a subclass of ?CLASS1
( ! [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 12640-12644
( ! [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 14200-14204
( ! [V__SEQ,V__CLASS] :
   ((s__instance(V__SEQ,s__SequenceFunction) &
       s__range(V__SEQ,V__CLASS))
   =>
   s__subclass(V__CLASS,s__Integer))
)

 Merge.kif 3459-3463
( ! [V__X,V__A1] :
   ((s__instance(V__X,s__BreakingRecord) &
       s__agent(V__X,V__A1))
   =>
   (? [V__AC,V__PC,V__P1,V__TP,V__ROLE,V__L,V__Q] :
     (s__instance(V__AC,s__Set) &
       s__instance(V__A1,V__AC)
     &
     s__subclass(V__PC,s__Process) &
     s__subclass(V__L,s__Region) &
     s__instance(V__TP,s__TimePoint) &
     s__instance(V__Q,s__Quantity) &
     s__refers(V__X,V__Q)
   &
   s__refers(V__Q,V__PC)
&
s__playsRoleInEvent(V__A1,V__ROLE,V__P1)
&
s__eventLocated(V__P1,V__L)
&
(~ (? [V__A2,V__P2] :
(s__instance(V__A2,V__AC)
&
(~ (V__A2 = V__A1))
&
s__instance(V__P2,V__PC)
&
s__holdsDuring(s__TimeIntervalFn(V__TP,s__EndFn(s__WhenFn(V__X)))
,'(s__playsRoleInEvent(V__A2,V__ROLE,V__P2) & s__eventLocated(V__P2,V__L))')))))))
)

 Mid-level-ontology.kif 27749-27778
( ! [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 358-364
  • If the range of ?REL is an instance of ?CLASS1 and the range of ?REL is an instance of ?CLASS2,
  • then ?CLASS1 is a subclass of ?CLASS2 or ?CLASS2 is a subclass of ?CLASS1
( ! [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 375-379
  • If the values returned by ?FUNCTION are subclasses of ?CLASS and ?FUNCTION(@ROW) is equal to ?VALUE,
  • then ?VALUE is a subclass of ?CLASS
( ! [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 387-393
  • If the values returned by ?REL are subclasses of ?CLASS1 and the values returned by ?REL are subclasses of ?CLASS2,
  • then ?CLASS1 is a subclass of ?CLASS2 or ?CLASS2 is a subclass of ?CLASS1
( ! [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 18296-18303
( ! [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 14682-14686
( ! [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 3123-3128
( ! [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 1813-1822
( ! [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 28092-28095
( ! [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
  • If ?ENTITY is an immediate instance of ?CLASS,
  • then there doesn't exist ?SUBCLASS such that ?SUBCLASS is a subclass of ?CLASS and ?SUBCLASS is not equal to ?CLASS and ?ENTITY is an instance of ?SUBCLASS
( ! [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 174-181
  • If ?CLASS1 is an immediate subclass of ?CLASS2,
  • then there doesn't exist ?CLASS3 such that ?CLASS3 is a subclass of ?CLASS2 and ?CLASS1 is a subclass of ?CLASS3 and ?CLASS2 is not equal to ?CLASS3 and ?CLASS1 is not equal to ?CLASS3
( ! [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)
       &
       less(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 5121-5124 There exists ?T such that ?T is a subclass of tool box and the maker of Sortimo Corporation is ?T

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


s__subclass(s__AgentOfOrganismFn(s__CoccidiodesPosadasii),s__LifeThreateningAgent)

s__instance(s__LifeThreateningAgent,s__SetOrClass)

 WMD.kif 1283-1283 The biological agent of coccidiodes posadasii is a subclass of life threatening agent
s__instance(s__LifeThreateningAgent,s__SetOrClass)

s__subclass(s__AgentOfOrganismFn(s__CoccidioidesImmitis),s__LifeThreateningAgent)

 WMD.kif 1276-1276 The biological agent of coccidioides immitis is a subclass of life threatening agent
s__instance(s__BiologicalAgent,s__SetOrClass)

s__subclass(s__AgentOfOrganismFn(s__MalarialPlasmodium),s__BiologicalAgent)

 WMD.kif 1462-1462 The biological agent of malarial plasmodium is a subclass of biological agent
s__subclass(s__AgentOfOrganismFn(s__SerratiaMarcenscens),s__LifeThreateningAgent)

s__instance(s__LifeThreateningAgent,s__SetOrClass)

 WMD.kif 1271-1271 The biological agent of serratia marcenscens is a subclass of life threatening agent
s__subclass(s__AgentOfOrganismFn(s__TickBorneEncephalitisVirus),s__LifeThreateningAgent)

s__instance(s__LifeThreateningAgent,s__SetOrClass)

 WMD.kif 1823-1823 The biological agent of tick borne encephalitis virus is a subclass of life threatening agent
s__instance(s__LifeThreateningAgent,s__SetOrClass)

s__subclass(s__AgentOfOrganismFn(s__YersiniaPestis),s__LifeThreateningAgent)

 WMD.kif 400-400 The biological agent of yersinia pestis is a subclass of life threatening agent
s__instance(s__PlantAgriculturalArtifact,s__SetOrClass)

s__subclass(s__DeadFn(s__Alfalfa),s__PlantAgriculturalArtifact)

 Society.kif 1059-1059 A dead alfalfa is a subclass of PlantAgriculturalArtifact
s__subclass(s__DeadFn(s__Apple),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

 Economy.kif 3938-3938 A dead apple is a subclass of grocery produce
s__instance(s__GroceryProduce,s__SetOrClass)

s__subclass(s__DeadFn(s__Avocado),s__GroceryProduce)

 Economy.kif 3964-3964 A dead avocado is a subclass of grocery produce
s__instance(s__GroceryProduce,s__SetOrClass)

s__subclass(s__DeadFn(s__Banana),s__GroceryProduce)

 Economy.kif 3967-3967 A dead banana is a subclass of grocery produce
s__instance(s__GroceryProduce,s__SetOrClass)

s__subclass(s__DeadFn(s__Berry),s__GroceryProduce)

 Economy.kif 3935-3935 A dead berry is a subclass of grocery produce
s__subclass(s__DeadFn(s__Breadfruit),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

 Economy.kif 3970-3970 A dead breadfruit is a subclass of grocery produce
s__instance(s__GroceryProduce,s__SetOrClass)

s__subclass(s__DeadFn(s__Cabbage),s__GroceryProduce)

 Economy.kif 3843-3843 A dead cabbage is a subclass of grocery produce
s__instance(s__GroceryProduce,s__SetOrClass)

s__subclass(s__DeadFn(s__Carrot),s__GroceryProduce)

 Economy.kif 3876-3876 A dead carrot is a subclass of grocery produce
s__instance(s__GroceryProduce,s__SetOrClass)

s__subclass(s__DeadFn(s__Cassava),s__GroceryProduce)

 Economy.kif 3896-3896 A dead cassava is a subclass of grocery produce
s__instance(s__GroceryProduce,s__SetOrClass)

s__subclass(s__DeadFn(s__Cauliflower),s__GroceryProduce)

 Economy.kif 3846-3846 A dead cauliflower is a subclass of grocery produce
s__instance(s__PlantAgriculturalArtifact,s__SetOrClass)

s__subclass(s__DeadFn(s__Chrysanthemum),s__PlantAgriculturalArtifact)

 Society.kif 1073-1073 A dead chrysanthemum is a subclass of PlantAgriculturalArtifact
s__subclass(s__DeadFn(s__CitrusFruit),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

 Economy.kif 3944-3944 A dead citrus fruit is a subclass of grocery produce
s__instance(s__PlantAgriculturalArtifact,s__SetOrClass)

s__subclass(s__DeadFn(s__Clover),s__PlantAgriculturalArtifact)

 Society.kif 1063-1063 A dead clover is a subclass of PlantAgriculturalArtifact
s__subclass(s__DeadFn(s__Coconut),s__GroceryProduce)

s__instance(s__GroceryProduce,s__SetOrClass)

 Economy.kif 3973-3973 A dead coconut is a subclass of grocery produce
s__instance(s__GroceryProduce,s__SetOrClass)

s__subclass(s__DeadFn(s__Cucumber),s__GroceryProduce)

 Economy.kif 3840-3840 A dead cucumber is a subclass of grocery produce
s__instance(s__GroceryProduce,s__SetOrClass)

s__subclass(s__DeadFn(s__DateFruit),s__GroceryProduce)

 Economy.kif 3976-3976 A dead date fruit is a subclass of grocery produce
s__instance(s__GroceryProduce,s__SetOrClass)

s__subclass(s__DeadFn(s__EdibleNut),s__GroceryProduce)

 Economy.kif 4019-4019 A dead edible nut is a subclass of grocery produce
s__instance(s__GroceryProduce,s__SetOrClass)

s__subclass(s__DeadFn(s__Eggplant),s__GroceryProduce)

 Economy.kif 3849-3849 A dead eggplant is a subclass of grocery produce
s__instance(s__PlantAgriculturalArtifact,s__SetOrClass)

s__subclass(s__DeadFn(s__ForageCrop),s__PlantAgriculturalArtifact)

 Society.kif 1064-1064 A dead forage crop is a subclass of PlantAgriculturalArtifact

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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