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
-------------------------


(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 31990-31993
(domain shortage 1 AutonomousAgent) Mid-level-ontology.kif 31998-31998 The number 1 argument of shortage is an instance of agent
(domain shortage 3 CurrencyMeasure) Mid-level-ontology.kif 32000-32000 The number 3 argument of shortage is an instance of currency measure
(domain shortage 4 TimeInterval) Mid-level-ontology.kif 32001-32001 The number 4 argument of shortage is an instance of time interval
(domain shortage 5 Quantity) Mid-level-ontology.kif 32002-32002 The number 5 argument of shortage is an instance of quantity
(domainSubclass shortage 2 Object) Mid-level-ontology.kif 31999-31999 The number 2 argument of shortage is a subclass of object
(instance shortage QuintaryPredicate) Mid-level-ontology.kif 31996-31996 shortage is an instance of quintary predicate

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


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

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


(=>
    (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 Collection)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 32070-32085
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (desires ?A
        (exists (?G)
            (and
                (instance ?G Collection)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 32012-32022
(=>
    (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 Collection)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 32037-32052
(=>
    (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 32087-32101
(=>
    (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 32026-32035
(=>
    (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 32054-32068
(=>
    (shortage ?A ?O ?C ?T ?Q)
    (desires ?A
        (exists (?I)
            (and
                (instance ?I ?O)
                (possesses ?A ?I)))))
Mid-level-ontology.kif 32004-32010


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