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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - immediateInstance
immediateInstance

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


s__documentation(s__immediateInstance__m,s__ChineseLanguage,'如果一个物体是一个SetOrClassinstance,而且它并不是该SetOrClass真正的子类别的instance,那这个物体就是该SetOrClassimmediateInstance。')

Merge.kif 100-102
s__documentation(s__immediateInstance__m,s__EnglishLanguage,'An object is an immediateInstance of a SetOrClass if it is an instance of the SetOrClass and it is not an instance of a proper subclass of SetOrClass.')

Merge.kif 97-99
s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 94-94
s__instance(s__immediateInstance__m,s__IntransitiveRelation)

Merge.kif 95-95
s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 96-96
s__subrelation(s__immediateInstance__m,s__instance__m)

Merge.kif 93-93

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


s__format(s__ChineseLanguage,s__immediateInstance__m,'%1 %n 是 %2 的 immediateInstance')

chinese_format.kif 301-301
s__format(s__EnglishLanguage,s__immediateInstance__m,'%1 is %n an immediate instance of %2')

english_format.kif 183-183
s__format(s__FrenchLanguage,s__immediateInstance__m,'%1 est %n une instance imm�diate de %2')

french_format.kif 173-173
s__format(s__ItalianLanguage,s__immediateInstance__m,'%� una istanza immediata %2')

relations-it.txt 138-138
s__format(s__PortugueseLanguage,s__immediateInstance__m,'%1 e %n uma instancia imediata de %2')

portuguese_format.kif 125-125
s__format(s__ar__m,s__immediateInstance__m,'%1 هو %n مِثَال مُبَاشَر على %2')

arabic_format.kif 118-118
s__format(s__de__m,s__immediateInstance__m,'%1 ist ein direkter fall von %2')

relations-de.txt 394-394
s__format(s__hi__m,s__immediateInstance__m,'%1 %2 kaa nikaTastha drishhTaanta hai')

relations-hindi.txt 177-177
s__format(s__tg__m,s__immediateInstance__m,'%1 ay ang kasapi ng agad sa %2')

relations-tg.txt 280-280
s__termFormat(s__ChineseLanguage,s__immediateInstance__m,'直接实例')

chinese_format.kif 302-302
s__termFormat(s__EnglishLanguage,s__immediateInstance__m,'immediate instance')

domainEnglishFormat.kif 5310-5310
s__termFormat(s__ar__m,s__immediateInstance__m,'«مِثَال مُبَاشَر على»')

arabic_format.kif 568-568
s__termFormat(s__tg__m,s__immediateInstance__m,'kasapi ng agad')

relations-tg.txt 281-281

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__BIG,V__CLASS,V__NORMAL] :
   ((s__immediateInstance(V__BIG,V__CLASS)
     &
     s__immediateInstance(V__NORMAL,V__CLASS)
   &
   s__attribute(V__BIG,s__Oversized))
=>
(? [V__BIGSIZE,V__NORMALSIZE] :
   (s__measure(V__BIG,V__BIGSIZE)
   &
   s__measure(V__NORMAL,V__NORMALSIZE)
&
s__greaterThan(V__BIGSIZE,V__NORMALSIZE))))
)

Hotel.kif 1125-1134
( ! [V__X,V__CLASS,V__Y] :
   ((s__immediateInstance(V__X,V__CLASS)
     &
     s__immediateInstance(V__Y,V__CLASS)
   &
   s__attribute(V__X,s__ColdTemperature) &
   s__attribute(V__Y,s__HotTemperature))
=>
(? [V__TEMPX,V__TEMPY] :
   (s__measure(V__X,V__TEMPX)
   &
   s__instance(V__TEMPX,s__TemperatureMeasure) &
   s__measure(V__Y,V__TEMPY)
&
s__instance(V__TEMPY,s__TemperatureMeasure) &
s__greaterThan(V__TEMPY,V__TEMPX))))
)

Mid-level-ontology.kif 23561-23573
No TPTP formula. May not be expressible in strict first order. Catalog.kif 322-337
No TPTP formula. May not be expressible in strict first order. Catalog.kif 339-355
No TPTP formula. May not be expressible in strict first order. Catalog.kif 357-372
No TPTP formula. May not be expressible in strict first order. Catalog.kif 415-427
( ! [V__OBJ,V__QUANT,V__AGENT,V__PS,V__PRICE,V__TIME,V__ITEM,V__R,V__CUSTOMER,V__TIMEINT,V__DURATION] :
   ((s__rentalPrice(V__OBJ,V__QUANT,V__AGENT,V__PS)
     &
     (V__QUANT = s__PerFn(V__PRICE,V__TIME))
   &
   s__immediateInstance(V__ITEM,V__OBJ)
&
s__instance(V__R,s__Renting) &
s__patient(V__R,V__ITEM)
&
s__possesses(V__OBJ,V__AGENT)
&
s__agent(V__R,V__CUSTOMER)
&
s__time(V__R,V__TIMEINT))
=>
(! [V__X] :
((s__during(V__TIMEINT,V__X)
&
s__instance(V__X,s__TimeInterval) &
s__duration(V__X,V__DURATION)
&
s__lessThanOrEqualTo(V__DURATION,V__TIME))
=>
(? [V__P] :
(s__instance(V__P,s__Payment) &
s__destination(V__P,V__AGENT)
&
s__agent(V__P,V__CUSTOMER)
&
s__transactionAmount(V__P,V__PRICE))))))
)

Catalog.kif 450-472
( ! [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

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


( ! [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
No TPTP formula. May not be expressible in strict first order. Catalog.kif 262-276
No TPTP formula. May not be expressible in strict first order. Catalog.kif 278-293
No TPTP formula. May not be expressible in strict first order. Catalog.kif 295-309
( ! [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
No TPTP formula. May not be expressible in strict first order. Catalog.kif 404-413


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