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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Agreement
Agreement(協議)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13958-13962
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13957-13957 子類 協議 and Proposition

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3144-3144 例 空氣污染 - 氮氧化物協議 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3150-3150 例 空氣污染 - 持久性有機污染物協議 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3155-3155 例 空氣污染 - sulphur85協議 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3161-3161 例 空氣污染- sulphur94協議 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3166-3166 例 空氣污染 - 揮發性有機化合物協議 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3138-3138 例 空氣污染公約 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3172-3172 例 南極洲 - 環境協議 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3177-3177 例 南極洲 - 海洋生物資源公約 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3184-3184 例 南極海豹公約 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3190-3190 例 南極條約 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3204-3204 例 生物多樣性公約 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3214-3214 例 氣候變化- 京都協議 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3208-3208 例 氣候變化公約 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3222-3222 例 荒漠化公約 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3229-3229 例 瀕危物種公約 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3237-3237 例 環境修改公約 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3244-3244 例 危險廢物公約 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3252-3252 例 海洋法公約 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3259-3259 例 海洋傾倒公約 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3267-3267 例 海洋生物保護公約 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3274-3274 例 核試驗禁令條約 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3281-3281 例 臭氧層保護協議 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3289-3289 例 船舶污染協議 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3297-3297 例 熱帶木材83協議 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3303-3303 例 熱帶木材94協議 and 協議

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3056-3056 域 協議組織, 1 and 協議
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14069-14069 域 agreementClause, 3 and 協議
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14024-14024 域 協議生效日期, 1 and 協議
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14049-14049 域 截止日期, 1 and 協議
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14010-14010 域 協議期限, 1 and 協議
No TPTP formula. May not be expressible in strict first order. Catalog.kif 503-503 域 contractedRentalPrice, 3 and 協議
No TPTP formula. May not be expressible in strict first order. Catalog.kif 271-271 域 negotiatedPrice, 3 and 協議
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2586-2586 域 期權持有人, 1 and 協議
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2599-2599 域 期權賣方, 1 and 協議
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13999-13999 域 協議的一方, 2 and 協議
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2721-2721 域 額外費用, 1 and 協議
No TPTP formula. May not be expressible in strict first order. Law.kif 502-502 域 recordForAgreement, 2 and 協議
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2739-2739 域 底層證券, 1 and 協議
No TPTP formula. May not be expressible in strict first order. Geography.kif 3105-3105 域 未經批准的簽署協議, 2 and 協議

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 153-160
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13972-13978
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13965-13970

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 146-151
No TPTP formula. May not be expressible in strict first order. Geography.kif 3125-3132
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14113-14115


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