subclass

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1914-1918
No TPTP formula. May not be expressible in strict first order. Media.kif 1908-1912
No TPTP formula. May not be expressible in strict first order. Media.kif 1896-1900
No TPTP formula. May not be expressible in strict first order. Economy.kif 2127-2134
No TPTP formula. May not be expressible in strict first order. Economy.kif 2171-2178
No TPTP formula. May not be expressible in strict first order. Economy.kif 2217-2224
No TPTP formula. May not be expressible in strict first order. Economy.kif 1995-2002
No TPTP formula. May not be expressible in strict first order. Economy.kif 2292-2299
No TPTP formula. May not be expressible in strict first order. Economy.kif 2597-2604
No TPTP formula. May not be expressible in strict first order. Economy.kif 2586-2595
( ! [V__AGENT] :
   ((s__instance(V__AGENT,s__Agent) &
       s__subclass(s__ElectionFn(V__AGENT)
    ,s__Election))
   =>
   (s__instance(V__AGENT,s__Organization) |
     s__instance(V__AGENT,s__GeopoliticalArea)))
)

Government.kif 1652-1658
( ! [V__AREA,V__TYPE] :
   ((s__instance(V__AREA,V__TYPE)
     &
     s__subclass(V__TYPE,s__ClimateZone))
   =>
   s__climateTypeInArea(V__AREA,V__TYPE))
)

Geography.kif 1242-1246
( ! [V__AREA,V__TYPE,V__POLITY] :
   ((s__instance(V__AREA,V__TYPE)
     &
     s__subclass(V__TYPE,s__MaritimeClaimArea) &
     s__claimedTerritory(V__AREA,V__POLITY))
=>
s__maritimeClaimType(V__POLITY,V__TYPE))
)

Geography.kif 984-989
( ! [V__AREA,V__MO,V__TEMP] :
   ((s__instance(V__AREA,s__ColdClimateZone) &
       s__subclass(V__MO,s__Month) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP))
   =>
   s__greaterThan(s__MeasureFn(10,s__CelsiusDegree),V__TEMP))
)

Geography.kif 1474-1479
( ! [V__AREA,V__MO,V__TEMP] :
   ((s__instance(V__AREA,s__DesertClimateZone) &
       s__subclass(V__MO,s__Month) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP)
     &
     s__greaterThan(V__TEMP,s__MeasureFn(18,s__CelsiusDegree)))
=>
s__instance(V__AREA,s__SubtropicalDesertClimateZone))
)

Geography.kif 1340-1346
( ! [V__AREA,V__MO,V__TEMP] :
   ((s__instance(V__AREA,s__GeographicArea) &
       s__subclass(V__MO,s__Month) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP)
     &
     s__greaterThan(s__MeasureFn(10,s__CelsiusDegree),V__TEMP))
=>
s__instance(V__AREA,s__PolarClimateZone))
)

Geography.kif 1518-1524
( ! [V__AREA,V__CLAIM] :
   ((s__instance(V__AREA,s__LandlockedArea) &
       s__subclass(V__CLAIM,s__MaritimeClaimArea))
     =>
     (~ s__maritimeClaimType(V__AREA,V__CLAIM)))
)

Geography.kif 969-973
( ! [V__AREA,V__MO,V__TEMP] :
   ((s__instance(V__AREA,s__PolarClimateZone) &
       s__subclass(V__MO,s__Month) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP))
   =>
   s__greaterThan(s__MeasureFn(10,s__CelsiusDegree),V__TEMP))
)

Geography.kif 1511-1516
( ! [V__AREA,V__MO,V__TEMP] :
   ((s__instance(V__AREA,s__SubtropicalDesertClimateZone) &
       s__subclass(V__MO,s__Month) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP))
   =>
   s__greaterThan(V__TEMP,s__MeasureFn(18,s__CelsiusDegree)))
)

Geography.kif 1348-1353
( ! [V__AREA,V__MO,V__TEMP] :
   ((s__instance(V__AREA,s__TemperateClimateZone) &
       s__subclass(V__MO,s__Month) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP))
   =>
   s__greaterThanOrEqualTo(V__TEMP,s__MeasureFn(-3,s__CelsiusDegree)))
)

Geography.kif 1381-1386
( ! [V__AREA,V__MO,V__TEMP] :
   ((s__instance(V__AREA,s__TropicalClimateZone) &
       s__subclass(V__MO,s__Month) &
       s__instance(V__AREA,s__GeographicArea) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP))
   =>
   s__greaterThan(V__TEMP,s__MeasureFn(18,s__CelsiusDegree)))
)

Geography.kif 1264-1270
No TPTP formula. May not be expressible in strict first order. Catalog.kif 322-337
( ! [V__CS1,V__CLASS,V__ECLASS,V__N,V__G,V__E] :
   ((s__instance(V__CS1,V__CLASS)
     &
     s__subclass(V__CLASS,s__CompoundSubstance) &
     (~ (? [V__CS2] :
         (s__instance(V__CS2,V__CLASS)
         &
         s__part(V__CS2,V__CS1))))
&
s__molecularRatio(V__ECLASS,V__N,V__CLASS)
&
s__instance(V__G,s__Group) &
s__member(V__E,V__G)
&
s__part(V__E,V__CS1)
&
s__instance(V__E,V__ECLASS))
=>
s__memberCount(V__G,V__N))
)

Cars.kif 1767-1781
( ! [V__GEO,V__TYPE,V__AREA] :
   ((s__instance(V__GEO,s__GeographicPartTypeFn(V__TYPE,V__AREA))
   &
   s__subclass(V__TYPE,s__GeopoliticalArea) &
   s__instance(V__AREA,s__GeopoliticalArea))
=>
s__geopoliticalSubdivision(V__GEO,V__AREA))
)

Geography.kif 6254-6259
( ! [V__PROCESS,V__PROCESS_CLASS,V__ACCESSING,V__AGENT,V__TIMETOFIRST] :
   ((s__instance(V__PROCESS,V__PROCESS_CLASS)
     &
     s__subclass(V__PROCESS_CLASS,s__Process) &
     s__instance(V__ACCESSING,s__AccessingWebPage) &
     s__instance(V__AGENT,s__Agent) &
     s__agent(V__PROCESS,V__AGENT)
   &
   s__agent(V__ACCESSING,V__AGENT)
&
s__during(V__PROCESS,V__ACCESSING)
&
s__instance(V__TIMETOFIRST,s__TimeInterval) &
(~ (? [V__PROCESS2] :
   (s__instance(V__PROCESS2,V__PROCESS_CLASS)
   &
   s__agent(V__PROCESS2,V__AGENT)
&
s__during(V__PROCESS2,V__ACCESSING)
&
s__before(s__BeginFn(s__WhenFn(V__PROCESS2))
,s__BeginFn(s__WhenFn(V__PROCESS))))))
&
(s__BeginFn(s__WhenFn(V__ACCESSING))
= s__BeginFn(s__WhenFn(V__TIMETOFIRST)))
&
(s__BeginFn(s__WhenFn(V__PROCESS))
= s__EndFn(s__WhenFn(V__TIMETOFIRST))))
=>
(s__TTFxFn(V__PROCESS_CLASS,V__ACCESSING)
= V__TIMETOFIRST))
)

UXExperimentalTerms.kif 1703-1725

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