False - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - False

False(假)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17007-17007	相反的屬性假 and 真正
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3797-3797
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17008-17008
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17006-17006	例假 and TruthValue

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23200-23200
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23199-23199
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23198-23198

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1854-1858	attribute Object and 故障有目的 Object and Formula 真相 Formula and 假
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 549-556	RealNumber 是在試驗 confidence 例試驗 and 試驗例 Sentence and Formula 患者試驗 and Sentence 等於 RealNumber and 100 真相 Sentence and 假
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6428-6438	例 Process and Hallucination 體驗者 Process and AutonomousAgent AutonomousAgentER AutonomousAgentROP 例 AutonomousAgentER and Perception 體驗者 AutonomousAgentER and AutonomousAgent 原因 Process and AutonomousAgentER 包含信息 AutonomousAgentER and AutonomousAgentROP 真相 AutonomousAgentROP and 假
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4195-4210	例 Process and Misdiagnosing agent Process and CognitiveAgent 參照 Process and Entity 例 Entity and Human CognitiveAgentIS containsFormula Process and attribute Entity and CognitiveAgentIS 例 CognitiveAgentIS and DiseaseOrSyndrome 相信 CognitiveAgent and attribute Entity and CognitiveAgentIS 真相 attribute Entity and CognitiveAgentIS and 假
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 922-929	例 Process and 說謊 agent Process and AutonomousAgent 患者 Process and ProcessMENT 持有期間何時 Process and 相信 AutonomousAgent and 真相 ProcessMENT and 假
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 586-593	試驗的 p-value 是 RealNumber 例試驗 and 試驗例 Sentence and Formula 患者試驗 and Sentence 等於 RealNumber and 1 真相 Sentence and 假
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19347-19353	持有期間 TimePosition and attribute entity and 驚喜 TimePosition entity 時間部分 TimePosition and 過去 TimePosition 持有期間 TimePosition and entity expects entity 會是事實持有期間 TimePosition and 真相 entity and 假
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13049-13054	例 Physical and Pretending entity Sentence 有目的 Physical and 相信 entity and Sentence 真相 Sentence and 假
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17551-17553	模態屬性 Formula and 容易比較多可能性真相 Formula and 真正 and 可能性真相 Formula and 假
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17559-17561	模態屬性 Formula and 較不可能比較多可能性真相 Formula and 假 and 可能性真相 Formula and 真正

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