Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  False

Sigma KEE - False
False

appearance as argument number 1
-------------------------


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

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


(termFormat ChineseLanguage False "假") domainEnglishFormat.kif 23192-23192
(termFormat ChineseTraditionalLanguage False "假") domainEnglishFormat.kif 23191-23191
(termFormat EnglishLanguage False "false") domainEnglishFormat.kif 23190-23190

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


(=>
    (and
        (attribute ?DEVICE Malfunctioning)
        (hasPurpose ?DEVICE ?PROP))
    (truth ?PROP False))
Mid-level-ontology.kif 1819-1823
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA False))
UXExperimentalTerms.kif 682-689
(=>
    (and
        (instance ?H Hallucination)
        (experiencer ?H ?P))
    (exists (?PER ?PROP)
        (and
            (instance ?PER Perception)
            (experiencer ?PER ?P)
            (causes ?H ?PER)
            (containsInformation ?PER ?PROP)
            (truth ?PROP False))))
Mid-level-ontology.kif 6389-6399
(=>
    (and
        (instance ?STATE TellingALie)
        (agent ?STATE ?AGENT)
        (patient ?STATE ?STATEMENT))
    (holdsDuring
        (WhenFn ?STATE)
        (believes ?AGENT
            (truth ?STATEMENT False))))
Mid-level-ontology.kif 889-896
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 1))
    (truth ?FORMULA False))
UXExperimentalTerms.kif 723-730
(=>
    (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 19129-19135
(=>
    (instance ?PRETEND Pretending)
    (exists (?PERSON ?PROP)
        (and
            (hasPurpose ?PRETEND
                (believes ?PERSON ?PROP))
            (truth ?PROP False))))
Merge.kif 12889-12894
(=>
    (modalAttribute ?FORMULA Likely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA True))
        (ProbabilityFn
            (truth ?FORMULA False))))
Merge.kif 17383-17385
(=>
    (modalAttribute ?FORMULA Unlikely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA False))
        (ProbabilityFn
            (truth ?FORMULA True))))
Merge.kif 17391-17393


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