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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Asphyxiation
  shortage

 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 30864-30867
(domain shortage 1 AutonomousAgent) Mid-level-ontology.kif 30872-30872 Il numero 1 argomenti di shortage è un istanza di AutonomousAgent
(domain shortage 3 CurrencyMeasure) Mid-level-ontology.kif 30874-30874 Il numero 3 argomenti di shortage è un istanza di MisuraMonetaria
(domain shortage 4 TimeInterval) Mid-level-ontology.kif 30875-30875 Il numero 4 argomenti di shortage è un istanza di IntervalloTemporale
(domain shortage 5 Quantity) Mid-level-ontology.kif 30876-30876 Il numero 5 argomenti di shortage è un istanza di Quantit�
(domainSubclass shortage 2 Object) Mid-level-ontology.kif 30873-30873 Il numero 2 argomento shortage è una sottoclasse diOggetto
(instance shortage QuintaryPredicate) Mid-level-ontology.kif 30870-30870 shortage è un' istanza di PredicatoQuinquenario

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

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 30944-30959
(=>
    (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 30886-30896
(=>
    (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 30911-30926
(=>
    (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 30961-30975
(=>
    (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 30900-30909
(=>
    (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 30928-30942
(=>
    (shortage ?A ?O ?C ?T ?Q)
    (desires ?A
        (exists (?I)
            (and
                (instance ?I ?O)
                (possesses ?A ?I)))))		 Mid-level-ontology.kif 30878-30884


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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