TreeView Knowledge Base Browser - confersObligation

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

confersObligation

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 17458-17461
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17454-17454	域授予義務, 1 and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17455-17455	域授予義務, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17456-17456	域授予義務, 3 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17453-17453	例授予義務 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17457-17457	相關的內部概念授予義務 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 16584-16584
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 16583-16583
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16582-16582
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 714-719	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 17463-17465	授予義務 Formula, Entity and CognitiveAgent 持有義務 Formula and CognitiveAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1211-1231	次提案強制選舉法 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 20823-20836	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 29895-29915	例 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 16525-16531	法律關係 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 1191-1209	次提案強制選舉法 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 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