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 17160-17160 False est l'oppos� de True
(documentation False ChineseLanguage "这代表 TruthValue 属假。") chinese_format.kif 3797-3797 False est l'oppos� de True
(documentation False EnglishLanguage "The TruthValue of being false.") Merge.kif 17161-17161 False est l'oppos� de True
(instance False TruthValue) Merge.kif 17159-17159 False est une instance de vrai

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


(termFormat ChineseLanguage False "假") domainEnglishFormat.kif 23203-23203
(termFormat ChineseTraditionalLanguage False "假") domainEnglishFormat.kif 23202-23202
(termFormat EnglishLanguage False "false") domainEnglishFormat.kif 23201-23201

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


(=>
    (and
        (attribute ?DEVICE Malfunctioning)
        (hasPurpose ?DEVICE ?PROP))
    (truth ?PROP False))		 Mid-level-ontology.kif 2317-2321
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA False))		 UXExperimentalTerms.kif 549-556
(=>
    (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 7366-7376
(=>
    (and
        (instance ?M Misdiagnosing)
        (agent ?M ?D)
        (refers ?M ?P)
        (instance ?P Human))
    (exists (?DIS)
        (and
            (containsFormula ?M
                (attribute ?P ?DIS))
            (instance ?DIS DiseaseOrSyndrome)
            (believes ?D
                (attribute ?P ?DIS))
            (truth
                (attribute ?P ?DIS) False))))		 Medicine.kif 4201-4216
(=>
    (and
        (instance ?STATE TellingALie)
        (agent ?STATE ?AGENT)
        (patient ?STATE ?STATEMENT))
    (holdsDuring
        (WhenFn ?STATE)
        (believes ?AGENT
            (truth ?STATEMENT False))))		 Mid-level-ontology.kif 915-922
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 1))
    (truth ?FORMULA False))		 UXExperimentalTerms.kif 586-593
(=>
    (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 20919-20925
(=>
    (instance ?PRETEND Pretending)
    (exists (?PERSON ?PROP)
        (and
            (hasPurpose ?PRETEND
                (believes ?PERSON ?PROP))
            (truth ?PROP False))))		 Merge.kif 13181-13186
(=>
    (modalAttribute ?FORMULA Likely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA True))
        (ProbabilityFn
            (truth ?FORMULA False))))		 Merge.kif 17704-17710
(=>
    (modalAttribute ?FORMULA Unlikely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA False))
        (ProbabilityFn
            (truth ?FORMULA True))))		 Merge.kif 17716-17722


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