TreeView Knowledge Base Browser - False

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 16985-16985	假是真正的相反
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 16986-16986
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16984-16984	假是真值的 instance

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 和那个客体的目的是公式，然后那个公式是假
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 549-556	如果实数是在试验 confidence 和那个试验是试验的 instance 和句子是公式的 instance 和那个句子是那个试验的 patient 和那个实数 equal 100，然后那个句子是假
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6429-6439	如果过程是 Hallucination 的 instance 和施事体经历了那个过程，然后有存在那个施事体ER 和那个施事体ROP 这样那个施事体ER 是感知的 instance 和那个施事体经历了那个施事体ER 和那个过程 causes 那个施事体ER 和那个施事体ER contains 那个施事体ROP 的资料和那个施事体ROP 是假
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4195-4210	如果过程是 Misdiagnosing 的 instance 和有认知的主事是那个过程的 agent 和那个过程提到实体和那个实体是人类的 instance，然后有存在那个有认知的主事IS 这样 containsFormula 那个过程 and 那个有认知的主事IS 是那个实体的 attribute 和那个有认知的主事IS 是疾病或综合症的 instance 和那个有认知的主事 believes 那个有认知的主事IS 是那个实体的 attribute 和那个有认知的主事IS 是那个实体的 attribute 是假
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 922-929	如果过程是说谎的 instance 和施事体是那个过程的 agent 和那个过程MENT 是那个过程的 patient，然后那个施事体 believes 那个过程MENT 是假在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 586-593	如果试验的 p-value 是实数和那个试验是试验的 instance 和句子是公式的 instance 和那个句子是那个试验的 patient 和那个实数 equal 1，然后那个句子是假
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19348-19354	如果惊喜是实体的 attribute 在时间位置 holdsDuring，然后有存在另一个时间位置和另一个实体这样那个另外时间位置时段是那个时间位置 before 时段的一 part 和那个实体 expects 那个另外实体会是事实在那个另外时间位置 holdsDuring 和那个另外实体是假在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13027-13032	如果物理是假装的 instance，然后有存在实体和句子这样那个物理的目的是那个实体 believes 那个句子和那个句子是假
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17529-17531	如果公式的声明 has 容易的语气，然后那个公式是真正的机率是 greaterThan 那个公式是假的机率
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17537-17539	如果公式的声明 has 较不可能的语气，然后那个公式是假的机率是 greaterThan 那个公式是真正的机率

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