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 30876-30879
(domain shortage 1 AutonomousAgent)	Mid-level-ontology.kif 30884-30884	Le nombre 1 argument de shortage est une instance de AutonomousAgent
(domain shortage 3 CurrencyMeasure)	Mid-level-ontology.kif 30886-30886	Le nombre 3 argument de shortage est une instance de mesure de devise
(domain shortage 4 TimeInterval)	Mid-level-ontology.kif 30887-30887	Le nombre 4 argument de shortage est une instance de interval temporel
(domain shortage 5 Quantity)	Mid-level-ontology.kif 30888-30888	Le nombre 5 argument de shortage est une instance de quantit�
(domainSubclass shortage 2 Object)	Mid-level-ontology.kif 30885-30885	Le nombre 2 argument de shortage est une sous-classe de objet
(instance shortage QuintaryPredicate)	Mid-level-ontology.kif 30882-30882	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 30881-30881
(termFormat EnglishLanguage shortage "shortage")	Mid-level-ontology.kif 30880-30880

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 30956-30971	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 30898-30908	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 30923-30938	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 30973-30987	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 30912-30921	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 30940-30954	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 30890-30896	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