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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - shortage
shortage

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


s__documentation(s__shortage__m,s__EnglishLanguage,'"A relation between an Agent and a number of instances or a quantity of a class of Object at a particular price or cost. The cost should include transport from the origin to the agent."')

Mid-level-ontology.kif 29473-29476
s__domain(s__shortage__m,n__1,s__Agent)

Mid-level-ontology.kif 29481-29481 The number 1 argument of shortage is an instance of agent
s__domain(s__shortage__m,n__3,s__CurrencyMeasure)

Mid-level-ontology.kif 29483-29483 The number 3 argument of shortage is an instance of currency measure
s__domain(s__shortage__m,n__4,s__TimeInterval)

Mid-level-ontology.kif 29484-29484 The number 4 argument of shortage is an instance of time interval
s__domain(s__shortage__m,n__5,s__Quantity)

Mid-level-ontology.kif 29485-29485 The number 5 argument of shortage is an instance of quantity
s__domainSubclass(s__shortage__m,n__2,s__Object)

Mid-level-ontology.kif 29482-29482 The number 2 argument of shortage is a subclass of object
s__instance(s__shortage__m,s__QuintaryRelation)

s__instance(s__QuintaryRelation,s__SetOrClass)

Mid-level-ontology.kif 29479-29479 shortage is an instance of quintary relation

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


s__format(s__EnglishLanguage,s__shortage__m,'"there is a shortage of %5 of %2 for %1 at %3 during %4"')

Mid-level-ontology.kif 29478-29478
s__termFormat(s__EnglishLanguage,s__shortage__m,'"shortage"')

Mid-level-ontology.kif 29477-29477

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29551-29566
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29495-29505
( ! [V__O,V__A,V__C,V__T,V__N] :
   (((s__subclass(V__O,s__Object) &
         s__instance(V__O,s__SetOrClass) &
         s__instance(V__A,s__Agent) &
         s__instance(V__C,s__CurrencyMeasure) &
         s__instance(V__T,s__TimeInterval))
       =>
       (((s__shortage(V__A,V__O,V__C,V__T,V__N)
           &
           s__instance(V__N,s__Integer))
         =>
         (~(( ? [V__B, V__G] :
               ((s__instance(V__B,s__Buying) &
                   s__during(s__WhenFn(V__B)
                ,V__T)
               &
               s__objectTransferred(V__B,V__G)
             &
             s__transactionAmount(V__B,V__C)
           &
           s__agent(V__B,V__A)
         &
         s__instance(V__G,s__Collection) &
         s__memberType(V__G,V__O)
       &
       s__memberCount(V__G,V__N)
     &
     s__possesses(V__A,V__G)))))))))
)
)

Mid-level-ontology.kif 29518-29533
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29568-29582
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29507-29516
( ! [V__O,V__A,V__C,V__T,V__N] :
   (((s__subclass(V__O,s__Object) &
         s__instance(V__O,s__Class) &
         s__instance(V__A,s__Agent) &
         s__instance(V__C,s__CurrencyMeasure) &
         s__instance(V__T,s__TimeInterval))
       =>
       (((s__shortage(V__A,V__O,V__C,V__T,V__N)
           &
           s__instance(V__N,s__PhysicalQuantity))
         =>
         (~(( ? [V__B, V__G] :
               ((s__instance(V__G,s__Object) &
                   (s__instance(V__B,s__Buying) &
                     s__during(s__WhenFn(V__B)
                  ,V__T)
                 &
                 s__objectTransferred(V__B,V__G)
               &
               s__transactionAmount(V__B,V__C)
             &
             s__agent(V__B,V__A)
           &
           s__instance(V__G,V__O)
         &
         s__measure(V__G,V__N)
       &
       s__possesses(V__A,V__G))))))))))
)
)

Mid-level-ontology.kif 29535-29549
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29487-29493


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 3.0 is open source software produced by Articulate Software and its partners