subclass

-------------------------


( ! [V__AREA] :
   (s__instance(V__AREA,s__TemperateClimateZone) =>
     (? [V__MO,V__AMOUNT] :
       (s__subclass(V__MO,s__Month) &
         s__averageTemperatureForPeriod(V__AREA,V__MO,V__AMOUNT)
       &
       s__greaterThan(V__AMOUNT,s__MeasureFn(10,s__CelsiusDegree)))))
)

Geography.kif 1373-1379
( ! [V__AREA] :
   (s__instance(V__AREA,s__TemperateClimateZone) =>
     (? [V__MO,V__AMOUNT] :
       (s__subclass(V__MO,s__Month) &
         s__averageTemperatureForPeriod(V__AREA,V__MO,V__AMOUNT)
       &
       s__greaterThanOrEqualTo(V__AMOUNT,s__MeasureFn(-3,s__CelsiusDegree))
     &
     s__lessThanOrEqualTo(V__AMOUNT,s__MeasureFn(18,s__CelsiusDegree)))))
)

Geography.kif 1388-1395
( ! [V__ARTIFACT] :
   (s__instance(V__ARTIFACT,s__GameArtifact) =>
     (? [V__GAME] :
       (s__subclass(V__GAME,s__Game) &
         s__capability(V__GAME,s__instrument__m,V__ARTIFACT))))
)

Mid-level-ontology.kif 14536-14541
( ! [V__C] :
   (s__instance(V__C,s__ElectricalConductor) =>
     (? [V__S] :
       (s__subclass(V__S,s__ConductorSubstance) &
         s__material(V__S,V__C))))
)

engineering.kif 820-825
( ! [V__CATALOG] :
   (s__instance(V__CATALOG,s__Catalog) =>
     (? [V__X] :
       (s__subclass(V__X,s__Agent) &
         s__offers(V__X,V__CATALOG))))
)

Catalog.kif 36-41
( ! [V__CF] :
   (s__instance(V__CF,s__CharcoalFilter) =>
     (? [V__C] :
       (s__subclass(V__C,s__Charcoal) &
         s__material(V__C,V__CF))))
)

Cars.kif 1683-1688
( ! [V__CH] :
   (s__instance(V__CH,s__Charcoal) =>
     (? [V__C,V__W] :
       (s__subclass(V__C,s__Combustion) &
         s__instance(V__W,s__Wood) &
         s__result(V__C,V__CH)
       &
       s__resource(V__C,V__W))))
)

Cars.kif 1669-1676
( ! [V__COIN] :
   (s__instance(V__COIN,s__CurrencyCoin) =>
     (? [V__METAL] :
       (s__subclass(V__METAL,s__Metal) &
         s__material(V__METAL,V__COIN))))
)

Mid-level-ontology.kif 4135-4140
( ! [V__GRAPH] :
   (s__instance(V__GRAPH,s__Graph) =>
     s__subclass(s__MinimalCutSetFn(V__GRAPH)
  ,s__CutSetFn(V__GRAPH)))
)

Merge.kif 6205-6207
No TPTP formula. May not be expressible in strict first order. Cars.kif 3416-3446
( ! [V__I] :
   (s__instance(V__I,s__ResistorElement) =>
     (? [V__S] :
       (s__subclass(V__S,s__InsulatorSubstance) &
         s__material(V__S,V__I))))
)

engineering.kif 849-854
( ! [V__INDUSTRY,V__MEMB1,V__MEMB2] :
   (s__instance(V__INDUSTRY,s__Industry) =>
     ((s__member(V__MEMB1,V__INDUSTRY)
       &
       s__member(V__MEMB2,V__INDUSTRY))
   =>
   (? [V__CLASS] :
     (s__subclass(V__CLASS,s__Corporation) &
       s__immediateInstance(V__MEMB1,V__CLASS)
     &
     s__immediateInstance(V__MEMB2,V__CLASS)))))
)

Mid-level-ontology.kif 12715-12725
( ! [V__M] :
   (s__instance(V__M,s__Meat) =>
     (? [V__DA,V__AC] :
       (s__instance(V__DA,s__DeadFn(V__AC))
     &
     s__part(V__M,V__DA)
   &
   s__subclass(V__AC,s__Animal))))
)

Food.kif 304-310
( ! [V__MENU,V__MEMB] :
   (s__instance(V__MENU,s__AlcoholMenu) =>
     (! [V__X] :
       (s__catalogItem(V__X,V__MENU)
       =>
       s__subclass(V__MEMB,s__AlcoholicBeverage))))
)

Dining.kif 217-222
( ! [V__MENU,V__MEMB] :
   (s__instance(V__MENU,s__BeverageMenu) =>
     (! [V__X] :
       (s__catalogItem(V__X,V__MENU)
       =>
       s__subclass(V__MEMB,s__Beverage))))
)

Dining.kif 205-210
( ! [V__MENU] :
   (s__instance(V__MENU,s__Menu) =>
     (! [V__X] :
       (s__catalogItem(V__X,V__MENU)
       =>
       s__subclass(V__X,s__FoodForFn(s__Human)))))
)

Dining.kif 181-186
( ! [V__MENU,V__MEMB] :
   (s__instance(V__MENU,s__WineMenu) =>
     (! [V__X] :
       (s__catalogItem(V__X,V__MENU)
       =>
       s__subclass(V__MEMB,s__WineMenu))))
)

Dining.kif 229-234
( ! [V__OBJ] :
   (s__instance(V__OBJ,s__CorpuscularObject) =>
     (? [V__SUBSTANCE1,V__SUBSTANCE2] :
       (s__subclass(V__SUBSTANCE1,s__Substance) &
         s__subclass(V__SUBSTANCE2,s__Substance) &
         s__material(V__SUBSTANCE1,V__OBJ)
       &
       s__material(V__SUBSTANCE2,V__OBJ)
     &
     (~ (V__SUBSTANCE1 = V__SUBSTANCE2)))))
)

Merge.kif 1255-1263
No TPTP formula. May not be expressible in strict first order. Cars.kif 3452-3478
( ! [V__RESEARCH] :
   (s__instance(V__RESEARCH,s__ResearchingWeaponOfMassDestruction) =>
     (? [V__WEAPON] :
       (s__subclass(V__WEAPON,s__WeaponOfMassDestruction) &
         s__refers(V__RESEARCH,V__WEAPON))))
)

WMD.kif 718-723
( ! [V__S] :
   (s__instance(V__S,s__Seafood) =>
     (? [V__DA,V__F] :
       (s__instance(V__DA,s__DeadFn(V__F))
     &
     s__part(V__S,V__DA)
   &
   s__subclass(V__F,s__Fish))))
)

Food.kif 864-870
No TPTP formula. May not be expressible in strict first order. Cars.kif 3357-3386
( ! [V__SPECIES] :
   (s__instance(V__SPECIES,s__BiologicalSpecies) =>
     s__subclass(V__SPECIES,s__Organism))
   )

Mid-level-ontology.kif 8881-8883
( ! [V__T] :
   (s__instance(V__T,s__Truck) =>
     (? [V__L] :
       (s__subclass(V__L,s__Object) &
         s__cargoType(V__T,V__L))))
)

Transportation.kif 1956-1961
( ! [V__TEAM] :
   (s__instance(V__TEAM,s__SportsTeam) =>
     (? [V__SPORT] :
       (s__subclass(V__SPORT,s__Sport) &
         s__capability(V__SPORT,s__agent__m,V__TEAM))))
)

Mid-level-ontology.kif 7236-7241

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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