mobilePhoneNumber - Sigma Knowledge base Browser

appearance as argument number 1

(documentation mobilePhoneNumber EnglishLanguage "(mobilePhoneNumber ?TelecomNumber ?AutonomousAgent) means that ?TelecomNumber identifies a MobileCellPhone at which ?AutonomousAgent can be contacted.")	Mid-level-ontology.kif 25121-25124
(domain mobilePhoneNumber 1 TelecomNumber)	Mid-level-ontology.kif 25118-25118	mobilePhoneNumber の数値 1 引数は TelecomNumber の instance では %n
(domain mobilePhoneNumber 2 AutonomousAgent)	Mid-level-ontology.kif 25119-25119	mobilePhoneNumber の数値 2 引数は AutonomousAgent の instance では %n
(instance mobilePhoneNumber AsymmetricRelation)	Mid-level-ontology.kif 25117-25117	mobilePhoneNumber は非対称関係の instance では %n
(instance mobilePhoneNumber BinaryPredicate)	Mid-level-ontology.kif 25116-25116	mobilePhoneNumber は 2進述語の instance では %n
(subrelation mobilePhoneNumber telephoneNumber)	Mid-level-ontology.kif 25120-25120	mobilePhoneNumber は telephoneNumber の subrelation では %n

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 25142-25148	deviceTelecomNumber エンティティー and エンティティーエンティティーは MobileCellPhone の instance では %n mobilePhoneNumber エンティティー and エンティティーは時間位置の during holds %n{ない} エンティティーはエンティティーを possesses %n{ない} は時間位置の during holds %n{ない}
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (mobilePhoneNumber ?NUMBER ?AGENT))) (instance ?DEVICE MobileCellPhone))	Mid-level-ontology.kif 25126-25131	deviceTelecomNumber エンティティー and エンティティー mobilePhoneNumber エンティティー and エンティティーは時間位置の during holds %n{ない} エンティティーは MobileCellPhone の instance では %n

consequent

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

Mid-level-ontology.kif 25133-25140