shortage - Sigma Knowledge base Browser

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	shortage の数値 1 引数は AutonomousAgent の instance では %n
(domain shortage 3 CurrencyMeasure)	Mid-level-ontology.kif 30874-30874	shortage の数値 3 引数は通貨測定の instance では %n
(domain shortage 4 TimeInterval)	Mid-level-ontology.kif 30875-30875	shortage の数値 4 引数は時間間隔の instance では %n
(domain shortage 5 Quantity)	Mid-level-ontology.kif 30876-30876	shortage の数値 5 引数は量の instance では %n
(domainSubclass shortage 2 Object)	Mid-level-ontology.kif 30873-30873	shortage の数値 2 引数はオブジェクトのsubclass では %n
(instance shortage QuintaryPredicate)	Mid-level-ontology.kif 30870-30870	shortage は 5進述語の instance では %n

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 認識エージェント, オブジェクト, 通貨測定, 時間間隔 and 量量は整数の instance では %n 認識エージェントがエンティティーエンティティーエンティティーは購買の instance では %n エンティティーの time の existence は時間間隔の during に takes %n{ない} objectTransferred エンティティー and エンティティー transactionAmount エンティティー and 通貨測定認識エージェントはエンティティーの agent では %n エンティティーはコレクションの instance では %n memberType エンティティー and オブジェクト memberCount エンティティー and 量認識エージェントはエンティティーを possesses %n{ない} を desires %n{ない}
(=> (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 認識エージェント, オブジェクト, 通貨測定, 時間間隔 and 量量は整数の instance では %n 認識エージェントがエンティティーエンティティーはコレクションの instance では %n memberType エンティティー and オブジェクト memberCount エンティティー and 量認識エージェントはエンティティーを possesses %n{ない} を desires %n{ない}
(=> (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, オブジェクト, 通貨測定, 時間間隔 and 整数整数は整数の instance では %n 移動コレクション移動は購買の instance では %n 移動の time の existence は時間間隔の during に takes %n{ない} objectTransferred 移動 and コレクション transactionAmount 移動 and 通貨測定 AutonomousAgent は移動の agent では %n コレクションはコレクションの instance では %n memberType コレクション and オブジェクト memberCount コレクション and 整数 AutonomousAgent はコレクションを possesses %n{ない}
(=> (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 認識エージェント, オブジェクト, 通貨測定, 時間間隔 and 量量は物理量の instance では %n 認識エージェントがエンティティーエンティティーエンティティーは購買の instance では %n エンティティーの time の existence は時間間隔の during に takes %n{ない} objectTransferred エンティティー and エンティティー transactionAmount エンティティー and 通貨測定認識エージェントはエンティティーの agent では %n エンティティーはオブジェクトの instance では %n エンティティーの measure は量では %n 認識エージェントはエンティティーを possesses %n{ない} を desires %n{ない}
(=> (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 認識エージェント, オブジェクト, 通貨測定, 時間間隔 and 量量は物理量の instance では %n 認識エージェントがエンティティーエンティティーはオブジェクトの instance では %n エンティティーの measure は量では %n 認識エージェントはエンティティーを possesses %n{ない} を desires %n{ない}
(=> (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, オブジェクト, 通貨測定, 時間間隔 and 物理量物理量は物理量の instance では %n 移動オブジェクト移動は購買の instance では %n 移動の time の existence は時間間隔の during に takes %n{ない} objectTransferred 移動 and オブジェクト transactionAmount 移動 and 通貨測定 AutonomousAgent は移動の agent では %n オブジェクトはオブジェクトの instance では %n オブジェクトの measure は物理量では %n AutonomousAgent はオブジェクトを possesses %n{ない}
(=> (shortage ?A ?O ?C ?T ?Q) (desires ?A (exists (?I) (and (instance ?I ?O) (possesses ?A ?I)))))	Mid-level-ontology.kif 30878-30884	shortage 認識エージェント, オブジェクト, 通貨測定, 時間間隔 and 量認識エージェントがエンティティーエンティティーはオブジェクトの instance では %n 認識エージェントはエンティティーを possesses %n{ない} を desires %n{ない}

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