TreeView Knowledge Base Browser - shortage

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 30864-30867
(domain shortage 1 AutonomousAgent)	Mid-level-ontology.kif 30872-30872	Le nombre 1 argument de shortage est une instance de AutonomousAgent
(domain shortage 3 CurrencyMeasure)	Mid-level-ontology.kif 30874-30874	Le nombre 3 argument de shortage est une instance de mesure de devise
(domain shortage 4 TimeInterval)	Mid-level-ontology.kif 30875-30875	Le nombre 4 argument de shortage est une instance de interval temporel
(domain shortage 5 Quantity)	Mid-level-ontology.kif 30876-30876	Le nombre 5 argument de shortage est une instance de quantit�
(domainSubclass shortage 2 Object)	Mid-level-ontology.kif 30873-30873	Le nombre 2 argument de shortage est une sous-classe de objet
(instance shortage QuintaryPredicate)	Mid-level-ontology.kif 30870-30870	shortage est une instance de predicate quinternaire

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	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de nombre entier agent cognitif desire entit� entit� entit� est une instance de acheter temps d'existence de entit� prend place pendant interval temporel objectTransferred entit� and entit� transactionAmount entit� and mesure de devise entit� est un agent de agent cognitif entit� est une instance de collection memberType entit� and objet memberCount entit� and quantit� agent cognitif poss�de entit�
(=> (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	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de nombre entier agent cognitif desire entit� entit� est une instance de collection memberType entit� and objet memberCount entit� and quantit� agent cognitif poss�de entit�
(=> (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	shortage AutonomousAgent, objet, mesure de devise, interval temporel and nombre entier nombre entier est une instance de nombre entier transf�re collection transf�re est une instance de acheter temps d'existence de transf�re prend place pendant interval temporel objectTransferred transf�re and collection transactionAmount transf�re and mesure de devise transf�re est un agent de AutonomousAgent collection est une instance de collection memberType collection and objet memberCount collection and nombre entier AutonomousAgent poss�de collection
(=> (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	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de quantit� physique agent cognitif desire entit� entit� entit� est une instance de acheter temps d'existence de entit� prend place pendant interval temporel objectTransferred entit� and entit� transactionAmount entit� and mesure de devise entit� est un agent de agent cognitif entit� est une instance de objet la mesure de entit� est quantit� agent cognitif poss�de entit�
(=> (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	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� quantit� est une instance de quantit� physique agent cognitif desire entit� entit� est une instance de objet la mesure de entit� est quantit� agent cognitif poss�de entit�
(=> (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 AutonomousAgent, objet, mesure de devise, interval temporel and quantit� physique quantit� physique est une instance de quantit� physique transf�re objet transf�re est une instance de acheter temps d'existence de transf�re prend place pendant interval temporel objectTransferred transf�re and objet transactionAmount transf�re and mesure de devise transf�re est un agent de AutonomousAgent objet est une instance de objet la mesure de objet est quantit� physique AutonomousAgent poss�de objet
(=> (shortage ?A ?O ?C ?T ?Q) (desires ?A (exists (?I) (and (instance ?I ?O) (possesses ?A ?I)))))	Mid-level-ontology.kif 30878-30884	shortage agent cognitif, objet, mesure de devise, interval temporel and quantit� agent cognitif desire entit� entit� est une instance de objet agent cognitif poss�de entit�

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