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
-------------------------


(contraryAttribute False True) Merge.kif 15847-15847
(documentation False ChineseLanguage "这代表 TruthValue 属假。") chinese_format.kif 3797-3797
(documentation False EnglishLanguage "The TruthValue of being false.") Merge.kif 15848-15848
(instance False TruthValue) Merge.kif 15846-15846

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage False "假") domainEnglishFormat.kif 23200-23200
(termFormat ChineseTraditionalLanguage False "假") domainEnglishFormat.kif 23199-23199
(termFormat EnglishLanguage False "false") domainEnglishFormat.kif 23198-23198

consequent
-------------------------


(=>
    (and
        (attribute ?DEVICE Malfunctioning)
        (hasPurpose ?DEVICE ?PROP))
    (truth ?PROP False))
Mid-level-ontology.kif 2284-2288
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA False))
UXExperimentalTerms.kif 680-687
(=>
    (and
        (instance ?STATE TellingALie)
        (agent ?STATE ?AGENT)
        (patient ?STATE ?STATEMENT))
    (holdsDuring
        (WhenFn ?STATE)
        (believes ?AGENT
            (truth ?STATEMENT False))))
Mid-level-ontology.kif 1312-1319
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 1))
    (truth ?FORMULA False))
UXExperimentalTerms.kif 721-728
(=>
    (holdsDuring ?TIME
        (attribute ?AGENT Surprise))
    (exists (?PART ?PROP)
        (and
            (temporalPart ?PART
                (PastFn ?TIME))
            (holdsDuring ?PART
                (expects ?AGENT ?PROP))
            (holdsDuring ?TIME
                (truth ?PROP False)))))
Mid-level-ontology.kif 17160-17166
(=>
    (instance ?PRETEND Pretending)
    (exists (?PERSON ?PROP)
        (and
            (hasPurpose ?PRETEND
                (believes ?PERSON ?PROP))
            (truth ?PROP False))))
Merge.kif 12109-12114
(=>
    (modalAttribute ?FORMULA Likely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA True))
        (ProbabilityFn
            (truth ?FORMULA False))))
Merge.kif 16369-16371
(=>
    (modalAttribute ?FORMULA Unlikely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA False))
        (ProbabilityFn
            (truth ?FORMULA True))))
Merge.kif 16377-16379


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