TreeView Knowledge Base Browser - partyToAgreement

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

partyToAgreement

Sigma KEE - partyToAgreement

partyToAgreement

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13993-13994
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13997-13997	域協議的一方, 1 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13998-13998	域協議的一方, 2 and 協議
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13992-13992	例協議的一方 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1907-1907
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1906-1906
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1905-1905
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 228-228	子關係帳號在 and 協議的一方
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 247-247	子關係帳戶持有人 and 協議的一方
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1298-1298	子關係借款人 and 協議的一方
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3804-3804	子關係 financialAccount and 協議的一方
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1284-1284	子關係貸款人 and 協議的一方
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2583-2583	子關係期權持有人 and 協議的一方
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2596-2596	子關係期權賣方 and 協議的一方
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44616-44616
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44615-44615
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44614-44614

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	attribute FinancialTransaction and 限價訂單協議是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是對於安全的 order Buying 測量安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格例 UnitOfMeasure and UnitOfCurrency AutonomousAgent 為了安全 asks 測量 RealNumber and UnitOfMeasure 小於或等於 RealNumber and RealNumber 持有義務卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 安全測量安全 and PhysicalQuantity 等於何時 SymbolicString and SymbolicStringingTime 暫時重疊 AutonomousAgent and SymbolicStringingTime and 協議
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	attribute FinancialTransaction and 限價訂單協議是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是對於安全的 order Selling 測量安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格 AutonomousAgent bids 測量 RealNumber and UnitOfMeasure 對於安全例 UnitOfMeasure and UnitOfCurrency 大於或等於 RealNumber and RealNumber 持有義務卡帕 SymbolicString and 例 SymbolicString and Selling 患者 SymbolicString and 安全測量安全 and PhysicalQuantity 等於何時 SymbolicString and SymbolicStringingTime 暫時重疊 SymbolicStringingTime and AutonomousAgent and 協議
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1981-1990	attribute FinancialTransaction and 市場秩序 attribute 協議 and 經紀人協議是 FinancialTransaction 的 party 協議 FinancialTransaction 是對於安全的 order FinancialTransaction 持有義務卡帕 SymbolicString and 例 SymbolicString and FinancialTransaction 患者 SymbolicString and 安全 and 協議
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2332-2338	例協議 and 民政協議協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議 enemy CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	例協議 and 民政協議協議是 entity_MIL_THIS 的 party 協議例 entity_MIL_THIS and 軍事組織 entity_THIS 是 entity_MIL_THIS 的 military 區域例 entity_THIS and Nation 位於 entity_MIL_THIS and entity_FRIENDLY 例 entity_FRIENDLY and Nation 等於 entity_THIS and entity_FRIENDLY enemy entity_THIS and entity_FRIENDLY entity_FRIENDLY 位於 entity_FRIENDLY and entity_FRIENDLY 協議是 entity_FRIENDLY 的 party 協議例 entity_FRIENDLY and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 311-324	對於 Physical 協商的 price 在協議是 CurrencyMeasure 協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議 CognitiveAgent 有義務去做在協議的 entity entity 例 entity and Buying 患者 entity and entity 立即實例 entity and Physical agent entity and CognitiveAgent 起源 entity and CognitiveAgent CurrencyMeasure 是 entity 的 transaction 總額義務
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 276-289	對於 Physical 協商的 price 在協議是 CurrencyMeasure 協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議模態屬性 entity entity 例 entity and Selling 患者 entity and entity 立即實例 entity and Physical agent entity and CognitiveAgent 目的地 entity and CognitiveAgent CurrencyMeasure 是 entity 的 transaction 總額 and 諾言
No TPTP formula. May not be expressible in strict first order.	Law.kif 573-588	協議是 CognitiveAgent 的 party 協議例 Process and IntentionalProcess 位於 Process and GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea ageOfMajorityForProcess 測量 RealNumber and 年持續時間, GeopoliticalArea and Process 結果 Process and 內容承載物理內容承載物理是協議的 record attribute 協議 and 合法持有期間何時 Process and 年齡 CognitiveAgent and 測量 RealNumber and 年持續時間比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Law.kif 554-571	協議是 CognitiveAgent 的 party 協議例 Process and IntentionalProcess 位於 Process and GeopoliticalArea 例 GeopoliticalArea and Nation 位於 Process and GeopoliticalArea 例 GeopoliticalArea and GeopoliticalArea ageOfMajorityForProcess 測量 RealNumber and 年持續時間, GeopoliticalArea and Process 結果 Process and 內容承載物理內容承載物理是協議的 record 持有期間何時 Process and 年齡 CognitiveAgent and 測量 entity and 年持續時間比較多 entity and RealNumber attribute 協議 and 合法
No TPTP formula. May not be expressible in strict first order.	Law.kif 515-524	協議是 CognitiveAgent 的 party 協議例 Process and IntentionalProcess 結果 Process and 內容承載物理內容承載物理是協議的 record attribute 協議 and 合法持有期間何時 Process and attribute CognitiveAgent and 清醒
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14148-14162	屬性協議 and 合同協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議例 Process and IntentionalProcess agent Process and CognitiveAgent 實現 Process and Proposition 協議是 Proposition 的 consistent 模態屬性 entity 例 entity and LegalAction CognitiveAgent 是 plaintiff 在 entity CognitiveAgent 是在 entity 的 defendant and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14000-14006	協議是 CognitiveAgent 的 party 協議 Process 例 Process and Committing agent Process and CognitiveAgent 患者 Process and 協議

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3260-3266	採用協議 and 協議 CognitiveAgent 屬性 CognitiveAgent and 僱用協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14071-14076	CognitiveAgent 有義務去做在協議的 Proposition DeonticAttribute 內容承載物理包含信息內容承載物理 and Proposition 協議是 CognitiveAgent 的 party 協議
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1162-1171	例金融賬戶 and 責任賬戶協議持有 account 金融賬戶金融賬戶是被協議 held CognitiveAgent 屬性 CognitiveAgent and 責任協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29627-29641	例 TimeInterval and Confirming agent TimeInterval and 協議包含信息 TimeInterval and Proposition TimeInterval 內容承載物理 and 協議2 例 TimeInterval and Stating 早期 TimeInterval and TimeInterval 例內容承載物理 and ReachingAgreement agent TimeInterval and 協議2 包含信息內容承載物理 and Proposition 包含信息 TimeInterval and Proposition 協議是內容承載物理的 party 協議協議2 是內容承載物理的 party 協議
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2309-2328	例協議 and 民政協議協議是 entity_MIL_THIS 的 party 協議例 entity_MIL_THIS and 軍事組織 entity_THIS 是 entity_MIL_THIS 的 military 區域例 entity_THIS and Nation 位於 entity_MIL_THIS and entity_FRIENDLY 例 entity_FRIENDLY and Nation 等於 entity_THIS and entity_FRIENDLY enemy entity_THIS and entity_FRIENDLY entity_FRIENDLY 位於 entity_FRIENDLY and entity_FRIENDLY 協議是 entity_FRIENDLY 的 party 協議例 entity_FRIENDLY and 軍事組織
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21511-21516	例 Process and 契約終止 agent Process and 協議目的地 Process and CognitiveAgent 協議是 CognitiveAgent 的 party 協議
No TPTP formula. May not be expressible in strict first order.	Media.kif 153-160	例 Process and ReachingAgreement agent Process and AutonomousAgent 結果 Process and Entity 例 Entity and 協議持有期間未來何時 Process and Entity 是 AutonomousAgent 的 party 協議
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2058-2063	attribute CognitiveAgent and 經紀人協議例協議 and 服務合同協議是 CognitiveAgent 的 party 協議
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 513-526	協議對於 FunctionQuantity 指定 Physical 的 rental CognitiveAgent CognitiveAgent 協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議模態屬性 entity entity 例 entity and 租例 entity and Physical 患者 entity and entity agent entity and CognitiveAgent 目的地 entity and CognitiveAgent and 義務
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20822-20835	CognitiveAgent 有 contract 去 build StationaryArtifact 協議 CognitiveAgent 屬性協議 and 合同協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議授予義務 entity StationaryArtifact2 例 entity and Constructing agent entity and CognitiveAgent 結果 entity and StationaryArtifact2 例 StationaryArtifact2 and StationaryArtifact, CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13971-13977	例協議 and 協議 CognitiveAgent CognitiveAgent 協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議等於 CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14169-14175	屬性協議 and 婚姻合同 Human Human 協議是 Human 的 party 協議協議是 Human 的 party 協議 Human 是 Human 的 spouse
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14182-14191	屬性 Proposition and 採購合同 Process ProcessELLER and 協議例 Process and Selling agent Process and ProcessELLER 目的地 Process and 協議實現 Process and Proposition ProcessELLER 是 Proposition 的 party 協議協議是 Proposition 的 party 協議
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14197-14206	屬性 Proposition and 服務合同服務協議 and PropositionUST 例服務 and 服務實現服務 and Proposition 服務提供者服務 and 協議服務接收者服務 and PropositionUST 協議是 Proposition 的 party 協議 PropositionUST 是 Proposition 的 party 協議
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1473-1481	屬性 CognitiveAgent and 貸款承諾貸款協議 and 協議例貸款 and 貸款協議 lends 貸款貸款是協議的 borrower 協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14219-14228	屬性 CognitiveAgent and 條約協議協議協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議例協議 and Nation 例協議 and Nation 等於協議 and 協議
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3113-3115	協議是協議 CognitiveAgent 的 unratified 簽署協議是 CognitiveAgent 的 party 協議

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