confersRight - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3895-3897
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17596-17598
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17593-17593	域賦予權利, 1 and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17594-17594	域賦予權利, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17595-17595	域賦予權利, 3 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17592-17592	例賦予權利 and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 203-203
No TPTP formula. May not be expressible in strict first order.	english_format.kif 204-204
No TPTP formula. May not be expressible in strict first order.	french_format.kif 121-121
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 51-51
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1950-1950
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 73-73
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 261-261
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 92-92
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 140-140
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 126-126
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 85-85
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17617-17617	相關的內部概念授予義務 and 賦予權利
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16605-16605	相關的內部概念授予義務 and 賦予權利
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16604-16604	相關的內部概念授予義務 and 賦予權利
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16603-16603	相關的內部概念授予義務 and 賦予權利
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 83-83	相關的內部概念授予義務 and 賦予權利
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 119-119	相關的內部概念授予義務 and 賦予權利

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 684-689	TimePoint 是協議的 agreement 生效日期賦予權利 Formula, 協議 and CognitiveAgent 例 TimePosition and TimePoint 持有期間眼前的未來 TimePosition and 堅持正確 Formula and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17600-17602	賦予權利 Formula, Entity and CognitiveAgent 堅持正確 Formula and CognitiveAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1094-1114	公民 Human and Nation 次提案普選法 and Nation 的 regional 法律賦予權利 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.	Hotel.kif 504-520	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 有 Physical 子類 Physical and Object 例 Entity and Physical 賦予權利 entity 例 entity and Process 資源 entity and Entity 儀器 entity and Entity 患者 entity and Entity agent entity and CognitiveAgent 體驗者 entity and CognitiveAgent, AutonomousAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	AutonomousAgent provides Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Entity and Object 慾望 CognitiveAgent and entity 例 entity and IntentionalProcess 患者 entity and Entity agent entity and CognitiveAgent 模態屬性賦予權利使用 Entity and CognitiveAgent, AutonomousAgent and CognitiveAgent and 可能性
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 294-313	Human 是在 AutonomousAgent 的 guest Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 例暫住 and 暫住OOM Physical 是 amenity 在暫住OOM 子類 Physical and Object Physical 例 Physical and Physical 位於 Physical and 暫住賦予權利 entity agent entity and Human 儀器 entity and Physical 患者 entity and Physical 資源 entity and Physical, AutonomousAgent and Human
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4092-4102	例 Object and AOCnumber 例 CognitiveAgent and Airline 擁有 CognitiveAgent and Object 賦予權利 entity 例 entity and AirTransportationService 服務提供者 entity and CognitiveAgent, FederalAviationAdministration and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 89-103	例 Process and 武裝偵察 agent Process and CognitiveAgent 患者 Process and Entity 持有期間何時 Process and enemy CognitiveAgent and Entity 賦予權利 entity 例 entity and 攻擊 agent entity and CognitiveAgent 患者 entity and Entity, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17607-17619	例 Entity and 法律獎勵參照 Entity and Process 例 Process and LegalAction agent Process and CognitiveAgent 賦予權利 entity entity and entity 例 entity and Getting 體驗者 entity and CognitiveAgent 患者 entity and entity 貨幣價值 entity and entity, Entity and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20209-20227	例 Process and 繼承 agent Process and CognitiveAgent 起源 Process and AutonomousAgent 患者 Process and Entity Process 例 Process and Death 體驗者 Process and AutonomousAgent 早期何時 Process and 何時 Process 持有期間不久的過去何時 Process and 擁有 AutonomousAgent and Entity 賦予權利擁有 CognitiveAgent and Entity, AutonomousAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 7953-7978	例 Collection and Organization attribute Collection and 航空運輸業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity CognitiveAgentLANE and entity 例 entity and Transportation 患者 entity and CognitiveAgent 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Object 擁有 Collection and CognitiveAgentLANE 例 CognitiveAgentLANE and 飛機, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8736-8756	例 Collection and Organization attribute Collection and 信使和信使 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent Entity 例 AutonomousAgent and Selling 例 Entity and Object 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity 例 entity and Transportation 擁有 CognitiveAgent and Entity 患者 entity and Entity, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8465-8488	例 Collection and Organization attribute Collection and 管道運輸 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity, entity and CognitiveAgentIPE 例 entity and Transportation 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Substance 擁有 Collection and entity 儀器 entity and CognitiveAgentIPE 例 CognitiveAgentIPE and 管道, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8707-8727	例 Collection and Organization attribute Collection and 郵政服務 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent Entity 例 AutonomousAgent and Selling 例 Entity and Object 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity 例 entity and Transportation 擁有 CognitiveAgent and Entity 患者 entity and Entity, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8034-8059	例 Collection and Organization attribute Collection and 鐵路運輸 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity and entity 例 entity and Transportation 患者 entity and CognitiveAgent 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Object 擁有 Collection and entity 例 entity and 鐵路車輛, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8528-8549	例 Collection and Organization attribute Collection and 景區和觀光交通 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity 例 entity and Transportation 例 entity and RecreationOrExercise 患者 entity and CognitiveAgent 擁有 Collection and entity 例 entity and 車輛, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8344-8364	例 Collection and Organization attribute Collection and 過境和地面客運 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity 例 entity and Transportation 患者 entity and CognitiveAgent 擁有 Collection and entity 例 entity and 陸地車輛, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8253-8275	例 Collection and Organization attribute Collection and 卡車運輸 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity and entity 例 entity and Transportation 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Object 擁有 Collection and entity 例 entity and 陸地車輛, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8776-8797	例 Collection and Organization attribute Collection and 倉儲和儲存 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent Entity 例 AutonomousAgent and Selling 例 Entity and Object 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity 例 entity and TimeInterval 例 entity and Building 擁有 CognitiveAgent and Entity 持有期間 entity and 位於 entity and Entity, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 8080-8105	例 Collection and Organization attribute Collection and 水運業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent 例 AutonomousAgent and Selling 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity and entity 例 entity and Transportation 患者 entity and CognitiveAgent 擁有 CognitiveAgent and entity 患者 entity and entity 例 entity and Object 擁有 Collection and entity 例 entity and 水車, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20174-20182	例 Process and 偷竊行為目的地 Process and CognitiveAgent 起源 Process and Object 例 Object and CognitiveAgent 賦予權利目的地 Process and CognitiveAgent, Object and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 482-498	例 entity_CTRL and 終端攻擊控制 agent entity_CTRL and AutonomousAgent 患者 entity_CTRL and entityRGET CognitiveAgent 等於 AutonomousAgent and CognitiveAgent 賦予權利 entity 例 entity and 攻擊 agent entity and CognitiveAgent 患者 entity and entityRGET, entity_CTRL and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 106-125	擁有 CognitiveAgent and Object 例 CognitiveAgent and 商業代理人例 Object and 停車場例 Object and Building 位於 CognitiveAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 持有期間 TimePosition and 位於 AutonomousAgent and Object 例 Process and Driving 患者 Process and Entity agent Process and AutonomousAgent 目的地 Process and Object 持有期間 TimePosition and 賦予權利例 entity and Keeping 目的地 entity and Object 患者 entity and Entity, CognitiveAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2364-2383	attribute Object and ArtsAndRecreationTicketingServices 有目的 Object and entity entity and entity 例 entity and Selling 患者 entity and entity agent entity and Object 例 entity and 票目的地 entity and entity 有目的 entity and 賦予權利 entity entity 例 entity and Seeing agent entity and entity 患者 entity and entity 例 entity and 性能例 entity and Sport, Object and entity
No TPTP formula. May not be expressible in strict first order.	Law.kif 349-351	授予義務 Formula, Entity and CognitiveAgent 賦予權利 Formula, Entity and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31519-31539	例 Entity and Invoice SymbolicString CognitiveAgent, AutonomousAgent, Entity and entity 獨特標識符 SymbolicString and Entity CognitiveAgent buys Entity 從 AutonomousAgent 賦予權利 entity 之前開始何時 Entity and 開始何時 entity 例 entity and Selling 例 entity and Product objectTransferred entity and entity 參照 Entity and entity agent entity and AutonomousAgent 患者 entity and CognitiveAgent, AutonomousAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24220-24234	例 Physical and 餐廳建築有目的 Physical and entity entity, entity, entity and entityAY 採用 entity and entity 擁有 entity and Physical 例 entity and Human 例 entityAY and FinancialTransaction agent entityAY and entity 患者 entityAY and entity 賦予權利 entity, entity and entity 例 entity and Eating agent entity and entity entity 是 located 在 Physical

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: