holdsObligation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - holdsObligation

holdsObligation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3898-3899
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17545-17547
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17542-17542	域持有義務, 1 and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17543-17543	域持有義務, 2 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17541-17541	例持有義務 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17540-17540	例持有義務 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17544-17544	相關的內部概念持有義務 and 堅持正確

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 213-213
No TPTP formula. May not be expressible in strict first order.	english_format.kif 214-214
No TPTP formula. May not be expressible in strict first order.	french_format.kif 126-126
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 130-130
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1955-1955
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 78-78
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 275-275
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 170-170
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 145-145
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 131-131
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 266-266
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28387-28387
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 214-214
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28386-28386
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28385-28385
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 88-88
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 267-267

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 677-682	TimePoint 是協議的 agreement 生效日期授予義務 Formula, 協議 and CognitiveAgent 例 TimePosition and TimePoint 持有期間眼前的未來 TimePosition and 持有義務 Formula and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	金融賬戶對於 TimePosition 到期的 amount CurrencyMeasure CognitiveAgent 持有 account 金融賬戶持有義務卡帕 SymbolicString and 例 SymbolicString and 付款 CurrencyMeasure 是 SymbolicString 的 transaction 總額目的地 SymbolicString and 金融賬戶的 currency 起源 SymbolicString and 金融賬戶的 currency 日期 SymbolicString and entity 之前或相等結束 entity and 開始 TimePosition and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2022-2043	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 2045-2066	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 1995-2004	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.	FinancialOntology.kif 1238-1247	例金融賬戶 and 信用賬戶 CognitiveAgent 持有 account 金融賬戶 RealNumber 是金融賬戶的 principal 總額 TimeInterval 是金融賬戶的 agreement 週期金融賬戶是對於 %3 的賺取 interest 等於 RealNumber and 加成 RealNumber and 利益持有義務卡帕 SymbolicString and RealNumber 是 SymbolicString 的 transaction 總額 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1287-1296	例貸款 and 貸款貸款是 CognitiveAgent 的 borrower RealNumber 是貸款的 principal 總額 TimeInterval 是貸款的 agreement 週期貸款是對於 %3 的賺取 interest 等於 RealNumber and 加成 RealNumber and 利益持有義務卡帕 SymbolicString and RealNumber 是 SymbolicString 的 transaction 總額 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	例 Process and 流血的例 Entity and Death 例 Formula and Human 例 AutonomousAgent and Human 體驗者 Process and AutonomousAgent 方位 Formula, AutonomousAgent and 近模態屬性原因 Process and Entity and 容易持有義務 Formula and entity 例 entity and ApplyingTourniquet agent entity and Formula 目的地 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 736-745	例 Proposition and GeopoliticalArea 的 constitution 例 GeopoliticalArea and Nation 等於 Government and 政府 GeopoliticalArea 例何時 Government and TimePosition TimePosition 是 Proposition 的 agreement 生效其間次提案 Proposition and Proposition 包含信息 Formula and Proposition 持有義務 Formula and Government
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1425-1435	例貸款 and 氣球貸款 Day 是貸款的 maturity 日期 CurrencyMeasure 是貸款的 total 存款貸款是 CognitiveAgent 的 borrower 持有義務卡帕 SymbolicString and 日期 SymbolicString and Day CurrencyMeasure 是 SymbolicString 的 transaction 總額目的地 SymbolicString and 貸款的 currency and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1442-1457	例貸款 and 可贖回貸款 CognitiveAgent lends 貸款貸款是 CognitiveAgent 的 borrower CurrencyMeasure 是貸款的 total 存款例 Process and 呼叫 agent Process and CognitiveAgent 患者 Process and 貸款持有義務卡帕 SymbolicString and 目的地 SymbolicString and CognitiveAgent 時間 SymbolicString and 眼前的未來何時 Process CurrencyMeasure 是 SymbolicString 的 transaction 總額 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9299-9309	例 Organization and 安全部門子組織 Organization and Organization 持有義務 entity 例 entity and Maintaining agent entity and Organization 患者 entity and Organization and Organization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2701-2717	屬性協議 and 選項 CognitiveAgent sells 協議 CurrencyMeasure 是協議的 strike 價錢協議有 expiration TimeInterval 金融工具是對於 AutonomousAgent 的 price CurrencyMeasure 例 AutonomousAgent and TimeInterval 之前結束 AutonomousAgent and 開始 TimeInterval 金融工具是協議的 underlier 持有義務卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 金融工具時間 SymbolicString and AutonomousAgent 測量金融工具 and 測量 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2655-2673	屬性協議 and 選項 CognitiveAgent sells 協議 CurrencyMeasure 是協議的 strike 價錢協議有 expiration TimeInterval 金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price CurrencyMeasure 例 AutonomousAgent and TimeInterval 之前結束 AutonomousAgent and 開始 TimeInterval 持有義務卡帕 SymbolicString and 例 SymbolicString and Selling 患者 SymbolicString and 金融工具時間 SymbolicString and AutonomousAgent 測量金融工具 and 測量 100 and ShareUnit agent SymbolicString and entity and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17559-17561	授予義務 Formula, Entity and CognitiveAgent 持有義務 Formula and CognitiveAgent

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