TreeView Knowledge Base Browser

appearance as argument number 2

(format ChineseLanguage mobilePhoneNumber "%2 的 mobile number 是 %1 ")	domainEnglishFormat.kif 3870-3870
(format ChineseTraditionalLanguage mobilePhoneNumber "%2 的 mobile number 是 %1 ")	domainEnglishFormat.kif 3869-3869
(format EnglishLanguage mobilePhoneNumber "the mobile number of %2 is %1")	domainEnglishFormat.kif 3868-3868
(termFormat EnglishLanguage mobilePhoneNumber "mobile phone number")	domainEnglishFormat.kif 65879-65879

antecedent

(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (instance ?DEVICE MobileCellPhone) (mobilePhoneNumber ?NUMBER ?AGENT))) (holdsDuring ?TIME (possesses ?AGENT ?DEVICE)))	Mid-level-ontology.kif 25141-25147	deviceTelecomNumber Entit� and Entit� Entit� è un' istanza di MobileCellPhone mobilePhoneNumber Entit� and Entit� vales durante PosizioneTemporale Entit� possiedees Entit� vales durante PosizioneTemporale
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (mobilePhoneNumber ?NUMBER ?AGENT))) (instance ?DEVICE MobileCellPhone))	Mid-level-ontology.kif 25125-25130	deviceTelecomNumber Entit� and Entit� mobilePhoneNumber Entit� and Entit� vales durante PosizioneTemporale Entit� è un' istanza di MobileCellPhone

consequent

(=>
    (and
        (instance ?DEVICE MobileCellPhone)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT))))
    (holdsDuring ?TIME
        (mobilePhoneNumber ?NUMBER ?AGENT)))

Mid-level-ontology.kif 25132-25139