mobilePhoneNumber - Sigma Knowledge base Browser

appearance as argument number 1

(documentation mobilePhoneNumber EnglishLanguage "(mobilePhoneNumber ?TelecomNumber ?Agent) means that ?TelecomNumber identifies a MobileCellPhone at which ?Agent can be contacted.")	Mid-level-ontology.kif 23044-23047
(domain mobilePhoneNumber 1 TelecomNumber)	Mid-level-ontology.kif 23041-23041	The number 1 argument of mobilePhoneNumber is an instance of TelecomNumber
(domain mobilePhoneNumber 2 Agent)	Mid-level-ontology.kif 23042-23042	The number 2 argument of mobilePhoneNumber is an instance of agent
(instance mobilePhoneNumber AsymmetricRelation)	Mid-level-ontology.kif 23040-23040	mobilePhoneNumber is an instance of asymmetric relation
(instance mobilePhoneNumber BinaryPredicate)	Mid-level-ontology.kif 23039-23039	mobilePhoneNumber is an instance of binary predicate
(subrelation mobilePhoneNumber telephoneNumber)	Mid-level-ontology.kif 23043-23043	mobilePhoneNumber is a subrelation of telephone number

appearance as argument number 2

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

antecedent

(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (mobilePhoneNumber ?NUMBER ?AGENT))) (holdsDuring ?TIME (possesses ?AGENT ?DEVICE)))	Mid-level-ontology.kif 23069-23074	If an entity has number another entity and the mobile number of a third entity is the other entity holds during a time position, then the third entity possesses the entity holds during the time position
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (mobilePhoneNumber ?NUMBER ?AGENT))) (instance ?DEVICE MobileCellPhone))	Mid-level-ontology.kif 23049-23054	If an entity has number another entity and the mobile number of a third entity is the other entity holds during a time position, then the entity is an instance of mobile cell phone

consequent

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

Mid-level-ontology.kif 23057-23064