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


KB Term:  Term intersection
English Word: 

Sigma KEE - shortage
shortage

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


(documentation shortage EnglishLanguage "A relation between an AutonomousAgent 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 33484-33487
(instance shortage QuintaryPredicate) Mid-level-ontology.kif 33490-33490 shortage is an instance of quintary predicate
(domain shortage 1 AutonomousAgent) Mid-level-ontology.kif 33492-33492 The number 1 argument of shortage is an instance of agent
(domainSubclass shortage 2 Object) Mid-level-ontology.kif 33493-33493 The number 2 argument of shortage is a subclass of object
(domain shortage 3 CurrencyMeasure) Mid-level-ontology.kif 33494-33494 The number 3 argument of shortage is an instance of currency measure
(domain shortage 4 TimeInterval) Mid-level-ontology.kif 33495-33495 The number 4 argument of shortage is an instance of timeframe
(domain shortage 5 Quantity) Mid-level-ontology.kif 33496-33496 The number 5 argument of shortage is an instance of quantity

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


(termFormat EnglishLanguage shortage "shortage") Mid-level-ontology.kif 33488-33488
(format EnglishLanguage shortage "there is a shortage of %5 of %2 for %1 at %3 during %4") Mid-level-ontology.kif 33489-33489

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


(=>
    (shortage ?A ?O ?C ?T ?Q)
    (desires ?A
        (exists (?I)
            (and
                (instance ?I ?O)
                (possesses ?A ?I)))))		 Mid-level-ontology.kif 33498-33504 If there is a shortage of X of Y for Z at W during V, then Z desires there exists U such that U is an instance of Y and Z possesses U
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (desires ?A
        (exists (?G)
            (and
                (instance ?G CollectionOfObjects)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))		 Mid-level-ontology.kif 33506-33516 If there is a shortage of X of Y for Z at W during V and X is an instance of integer, then Z desires there exists U such that U is an instance of collection, Y is a member type of U, X is a member count of U, and Z possesses U
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N PhysicalQuantity))
    (desires ?A
        (exists (?G)
            (and
                (instance ?G ?O)
                (measure ?G ?N)
                (possesses ?A ?G)))))		 Mid-level-ontology.kif 33520-33529 If there is a shortage of X of Y for Z at W during V and X is an instance of physical quantity, then Z desires there exists U such that U is an instance of Y, the measure of U is X, and Z possesses U
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (not
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G CollectionOfObjects)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))		 Mid-level-ontology.kif 33531-33546 If there is a shortage of X of Y for Z at W during V and X is an instance of integer, then All of the following hold: (1) there don't exist U (2) T such that U is an instance of buying (3) the time of existence of U takes place during V (4) the object transferred in U is T (5) W is a transaction amount of U (6) Z is an agent of U (7) T is an instance of collection (8) Y is a member type of T (9) X is a member count of T (10) Z possesses T
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N PhysicalQuantity))
    (not
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G ?O)
                (measure ?G ?N)
                (possesses ?A ?G)))))		 Mid-level-ontology.kif 33548-33562 If there is a shortage of X of Y for Z at W during V and X is an instance of physical quantity, then All of the following hold: (1) there don't exist U (2) T such that U is an instance of buying (3) the time of existence of U takes place during V (4) the object transferred in U is T (5) W is a transaction amount of U (6) Z is an agent of U (7) T is an instance of Y (8) the measure of T is X (9) Z possesses T
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (desires ?A
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G CollectionOfObjects)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))		 Mid-level-ontology.kif 33564-33579 If there is a shortage of X of Y for Z at W during V and X is an instance of integer, then All of the following hold: (1) Z desires there exist U (2) T such that U is an instance of buying (3) the time of existence of U takes place during V (4) the object transferred in U is T (5) W is a transaction amount of U (6) Z is an agent of U (7) T is an instance of collection (8) Y is a member type of T (9) X is a member count of T (10) Z possesses T
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N PhysicalQuantity))
    (desires ?A
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G ?O)
                (measure ?G ?N)
                (possesses ?A ?G)))))		 Mid-level-ontology.kif 33581-33595 If there is a shortage of X of Y for Z at W during V and X is an instance of physical quantity, then All of the following hold: (1) Z desires there exist U (2) T such that U is an instance of buying (3) the time of existence of U takes place during V (4) the object transferred in U is T (5) W is a transaction amount of U (6) Z is an agent of U (7) T is an instance of Y (8) the measure of T is X (9) Z possesses T


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners