confersObligation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - confersObligation

confersObligation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3900-3902
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17554-17557
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17550-17550	域授予義務, 1 and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17551-17551	域授予義務, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17552-17552	域授予義務, 3 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17549-17549	例授予義務 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17553-17553	相關的內部概念授予義務 and 賦予權利

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 201-201
No TPTP formula. May not be expressible in strict first order.	english_format.kif 202-202
No TPTP formula. May not be expressible in strict first order.	french_format.kif 120-120
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 50-50
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1949-1949
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 72-72
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 258-258
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 91-91
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 139-139
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 125-125
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 84-84
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16599-16599
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 202-202
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16598-16598
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16597-16597
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 82-82
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 117-117

antecedent

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.	Law.kif 343-345	授予義務 Formula, Entity and CognitiveAgent 賦予權利 Formula, 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

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1173-1193	次提案強制選舉法 and Nation 的 regional 法律公民 Human and Nation 授予義務 entity entity and entity 公民 Human and Nation 測量 entity and 年持續時間是 Nation 的 suffrage 最小年紀年齡 Human and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and Nation 的 election entity 例 entity and entity 的 voting agent entity and Human , Nation 的 regional 法律 and Human
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-949	子類 ContentBearingObject and 聯合出版物例內容承載物理 and ContentBearingObject 包含信息內容承載物理 and Formula 作者 AutonomousAgent and ContentBearingObject Organization 子組織 Organization and 美軍授予義務 Formula, AutonomousAgent and Organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21912-21925	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 30983-31003	例 Entity and PurchaseOrder SymbolicString CognitiveAgent, CognitiveAgent and Entity 獨特標識符 SymbolicString and Entity CognitiveAgent buys Entity 從 CognitiveAgent 授予義務 entity 之前開始何時 Entity and 開始何時 entity 例 entity and Buying 例 Entity and Product objectTransferred entity and Entity 參照 Entity and Entity agent entity and CognitiveAgent 患者 entity and CognitiveAgent, CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16621-16627	法律關係 Human and Human Entity Formula 例 Entity and Declaring 授予義務 Formula, Entity and Human 授予義務 Formula, Entity and Human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1153-1171	次提案強制選舉法 and GeopoliticalArea 的 regional 法律授予義務 entity entity, entity and entity 公民 entity and GeopoliticalArea 測量 entity and 年持續時間是 GeopoliticalArea 的 suffrage 最小年紀年齡 entity and 測量 entity and 年持續時間大於或等於 entity and entity 例 entity and GeopoliticalArea 的 election entity 例 entity and entity 的 voting agent entity and entity , GeopoliticalArea 的 regional 法律 and GeopoliticalArea

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