TreeView Knowledge Base Browser

appearance as argument number 1

(documentation allergic EnglishLanguage "(allergic ?H ?S) means that a human ?H develops an AllergicReaction to a class of substance ?S when coming into contact with it.")	Mid-level-ontology.kif 6220-6221
(domain allergic 1 Human)	Mid-level-ontology.kif 6218-6218	域 allergic, 1 and Human
(domainSubclass allergic 2 Substance)	Mid-level-ontology.kif 6219-6219	域子類 allergic, 2 and Substance
(instance allergic BinaryPredicate)	Mid-level-ontology.kif 6217-6217	例 allergic and BinaryPredicate

appearance as argument number 2

(termFormat EnglishLanguage allergic "allergic")

domainEnglishFormat.kif 65776-65776

antecedent

(=>
    (and
        (allergic ?H ?S)
        (instance ?SUB ?S)
        (holdsDuring ?T
            (meetsSpatially ?SUB ?H)))
    (modalAttribute
        (exists (?AR)
            (and
                (instance ?AR AllergicReaction)
                (experiencer ?AR ?H)
                (overlapsTemporally ?T
                    (WhenFn ?AR))
                (before
                    (BeginFn ?T)
                    (BeginFn
                        (WhenFn ?AR))))) Likely))

Mid-level-ontology.kif 6225-6238

allergic Human and Substance 例 SubstanceUB and Substance 持有期間 TimePosition and 空間的符合 SubstanceUB and Human
模態屬性 entity 例 entity and AllergicReaction 體驗者 entity and Human 暫時重疊 TimePosition and 何時 entity 之前開始 TimePosition and 開始何時 entity and 容易

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: