TreeView Knowledge Base Browser

appearance as argument number 1

(documentation yearBuilt EnglishLanguage "(yearBuilt ?OBJ ?YEAR) means that the Making of Object ?OBJ was completed on Year ?YEAR")	Hotel.kif 722-723
(domain yearBuilt 1 Object)	Hotel.kif 726-726	yearBuilt の数値 1 引数はオブジェクトの instance では
(domainSubclass yearBuilt 2 Year)	Hotel.kif 727-727	yearBuilt の数値 2 引数は年のsubclass では
(instance yearBuilt BinaryPredicate)	Hotel.kif 721-721	yearBuilt は 2進述語の instance では

appearance as argument number 2

(format ChineseLanguage yearBuilt "%1 已 built 在 %2 ")	domainEnglishFormat.kif 5006-5006
(format ChineseTraditionalLanguage yearBuilt "%1 已 built 在 %2 ")	domainEnglishFormat.kif 5005-5005
(format EnglishLanguage yearBuilt "%1 was built in %2")	domainEnglishFormat.kif 5004-5004
(termFormat EnglishLanguage yearBuilt "year built")	Hotel.kif 724-724

antecedent

(=>
    (yearBuilt ?OBJ ?YEAR)
    (exists (?TIME ?MAKE)
        (and
            (instance ?TIME ?YEAR)
            (instance ?MAKE Making)
            (result ?MAKE ?OBJ)
            (temporallyBetweenOrEqual
                (BeginFn ?TIME)
                (EndFn
                    (WhenFn ?MAKE))
                (EndFn ?TIME)))))

Hotel.kif 729-739

yearBuilt オブジェクト and 年
時間間隔工程時間間隔は年の instance では工程は作るの instance ではオブジェクトは工程の result では工程の time の existence の end は時間間隔の beginning にも時間間隔の end にもその between にも

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

KB Term:			Term intersection

English Word: