holdsRight - Sigma Knowledge base Browser

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 17524-17526
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17522-17522	域堅持正確, 1 and Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17523-17523	域堅持正確, 2 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17521-17521	例堅持正確 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17520-17520	例堅持正確 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 17544-17544	相關的內部概念持有義務 and 堅持正確
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28393-28393	相關的內部概念持有義務 and 堅持正確
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 124-124	相關的內部概念持有義務 and 堅持正確
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28392-28392	相關的內部概念持有義務 and 堅持正確
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28391-28391	相關的內部概念持有義務 and 堅持正確
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 43-43	相關的內部概念持有義務 and 堅持正確
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 269-269	相關的內部概念持有義務 and 堅持正確

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15028-15034	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 15019-15026	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 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.	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 2802-2814	屬性協議 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 2683-2699	屬性協議 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 2637-2653	屬性協議 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 17536-17538	賦予權利 Formula, Entity and CognitiveAgent 堅持正確 Formula and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18380-18384	例 Entity and 逃逸 CognitiveAgent 堅持正確 agent Entity and CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17016-17022	例 CognitiveAgent and 陪審團堅持正確 entity 例 entity and 法律決定 agent entity and CognitiveAgent 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