Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - mobilePhoneNumber
mobilePhoneNumber

appearance as argument number 1
-------------------------


(instance mobilePhoneNumber BinaryPredicate) Mid-level-ontology.kif 27436-27436 mobile phone number is an instance of binary predicate
(instance mobilePhoneNumber AsymmetricRelation) Mid-level-ontology.kif 27437-27437 mobile phone number is an instance of asymmetric relation
(domain mobilePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 27438-27438 The number 1 argument of mobile phone number is an instance of telecom number
(domain mobilePhoneNumber 2 AutonomousAgent) Mid-level-ontology.kif 27439-27439 The number 2 argument of mobile phone number is an instance of agent
(subrelation mobilePhoneNumber telephoneNumber) Mid-level-ontology.kif 27440-27440 mobile phone number is a subrelation of telephone number
(documentation mobilePhoneNumber EnglishLanguage "(mobilePhoneNumber ?TelecomNumber ?AutonomousAgent) means that ?TelecomNumber identifies a MobileCellPhone at which ?AutonomousAgent can be contacted.") Mid-level-ontology.kif 27441-27444 mobile phone number is a subrelation of telephone number

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (mobilePhoneNumber ?NUMBER ?AGENT)))
    (instance ?DEVICE MobileCellPhone))		 Mid-level-ontology.kif 27446-27451 If X has number Y and the mobile number of Z is Y holds during W, then X is an instance of mobile cell phone
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (instance ?DEVICE MobileCellPhone)
            (mobilePhoneNumber ?NUMBER ?AGENT)))
    (holdsDuring ?TIME
        (possesses ?AGENT ?DEVICE)))		 Mid-level-ontology.kif 27462-27468 If X has number Y, X is an instance of mobile cell phone, and the mobile number of Z is Y holds during W, then Z possesses X holds during W

consequent
-------------------------


(=>
    (and
        (instance ?DEVICE MobileCellPhone)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT))))
    (holdsDuring ?TIME
        (mobilePhoneNumber ?NUMBER ?AGENT)))		 Mid-level-ontology.kif 27453-27460 If X is an instance of mobile cell phone and X has number Y and Y is the telephone number of Z holds during W, then the mobile number of Z is Y holds during W


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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners