TreeView Knowledge Base Browser - holdsRight

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - holdsRight

holdsRight

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3893-3894
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17499-17501
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17497-17497	域堅持正確, 1 and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17498-17498	域堅持正確, 2 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17496-17496	例堅持正確 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17495-17495	例堅持正確 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 123-123
No TPTP formula. May not be expressible in strict first order.	english_format.kif 124-124
No TPTP formula. May not be expressible in strict first order.	french_format.kif 83-83
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 131-131
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1910-1910
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 35-35
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 124-124
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 145-145
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 171-171
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 102-102
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 82-82
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 268-268
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17519-17519	相關的內部概念持有義務 and 堅持正確
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28365-28365
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 124-124
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28364-28364
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28363-28363
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 43-43
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 269-269

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14127-14133	CognitiveAgent 有義務去做在協議的 Proposition 允許堅持正確 entity 實現 entity and Proposition agent entity and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14118-14125	CognitiveAgent 有義務去做在協議的 Proposition 禁令堅持正確 entity 實現 entity and Proposition agent entity and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 685-690	TimePoint 是協議的 agreement 生效日期賦予權利 Formula, 協議 and CognitiveAgent 例 TimePosition and TimePoint 持有期間眼前的未來 TimePosition and 堅持正確 Formula and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 535-547	例 entity_CTRL and 終端指導 agent entity_CTRL and CognitiveAgent 患者 entity_CTRL and entityRGET 堅持正確 entity 例 entity and 攻擊 agent entity and CognitiveAgent 患者 entity and entityRGET and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2788-2800	屬性協議 and 美式風格選項 CognitiveAgent holds 協議協議有 expiration TimePoint 堅持正確 entity 例 entity and 執行一個選項患者 entity and 協議之前結束何時 entity and 結束 TimePoint and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2669-2685	屬性協議 and 選項 CognitiveAgent holds 協議 CurrencyMeasure 是協議的 strike 價錢協議有 expiration TimeInterval 金融工具是對於 AutonomousAgent 的 price CurrencyMeasure 例 AutonomousAgent and TimeInterval 之前結束 AutonomousAgent and 開始 TimeInterval 金融工具是協議的 underlier 堅持正確卡帕 SymbolicString and 例 SymbolicString and Selling 患者 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 2623-2639	屬性協議 and 選項 CognitiveAgent holds 協議 CurrencyMeasure 是協議的 strike 價錢協議有 expiration TimeInterval 金融工具是協議的 underlier 金融工具是對於 AutonomousAgent 的 price CurrencyMeasure 例 AutonomousAgent and TimeInterval 之前結束 AutonomousAgent and 開始 TimeInterval 堅持正確卡帕 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.	Merge.kif 17511-17513	賦予權利 Formula, Entity and CognitiveAgent 堅持正確 Formula and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17318-17322	例 Entity and 逃逸 CognitiveAgent 堅持正確 agent Entity and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16115-16121	例 CognitiveAgent and 陪審團堅持正確 entity 例 entity and 法律決定 agent entity and CognitiveAgent and CognitiveAgent

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