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 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 30274-30277
(domain shortage 1 Agent) Mid-level-ontology.kif 30282-30282 shortage 的 1 数量 是 施事体instance
(domain shortage 3 CurrencyMeasure) Mid-level-ontology.kif 30284-30284 shortage 的 3 数量 是 货币测量instance
(domain shortage 4 TimeInterval) Mid-level-ontology.kif 30285-30285 shortage 的 4 数量 是 时距instance
(domain shortage 5 Quantity) Mid-level-ontology.kif 30286-30286 shortage 的 5 数量 是 数量instance
(domainSubclass shortage 2 Object) Mid-level-ontology.kif 30283-30283 shortage 的 2 数量 是 客体subclass
(instance shortage QuintaryRelation) Mid-level-ontology.kif 30280-30280 shortage五元关系instance

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 30279-30279
(termFormat EnglishLanguage shortage "shortage") Mid-level-ontology.kif 30278-30278

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 30352-30367
(=>
    (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 30296-30306
(=>
    (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 30319-30334
(=>
    (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 30369-30383
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N PhysicalQuantity))
    (desires ?A
        (exists (?G)
            (and
                (instance ?G ?O)
                (measure ?O ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 30308-30317
(=>
    (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 30336-30350
(=>
    (shortage ?A ?O ?C ?T ?Q)
    (desires ?A
        (exists (?I)
            (and
                (instance ?I ?O)
                (possesses ?A ?I)))))
Mid-level-ontology.kif 30288-30294


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