Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - mobilePhoneNumber
mobilePhoneNumber

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 25178-25181
(domain mobilePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 25175-25175 The number 1 argument of mobile phone number is an instance of telecom number
(domain mobilePhoneNumber 2 AutonomousAgent) Mid-level-ontology.kif 25176-25176 The number 2 argument of mobile phone number is an instance of agent
(instance mobilePhoneNumber AsymmetricRelation) Mid-level-ontology.kif 25174-25174 mobile phone number is an instance of asymmetric relation
(instance mobilePhoneNumber BinaryPredicate) Mid-level-ontology.kif 25173-25173 mobile phone number is an instance of binary predicate
(subrelation mobilePhoneNumber telephoneNumber) Mid-level-ontology.kif 25177-25177 mobile phone number is a subrelation of telephone number

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 65881-65881

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


(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (instance ?DEVICE MobileCellPhone)
            (mobilePhoneNumber ?NUMBER ?AGENT)))
    (holdsDuring ?TIME
        (possesses ?AGENT ?DEVICE)))
Mid-level-ontology.kif 25199-25205
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (mobilePhoneNumber ?NUMBER ?AGENT)))
    (instance ?DEVICE MobileCellPhone))
Mid-level-ontology.kif 25183-25188

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


(=>
    (and
        (instance ?DEVICE MobileCellPhone)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (telephoneNumber ?NUMBER ?AGENT))))
    (holdsDuring ?TIME
        (mobilePhoneNumber ?NUMBER ?AGENT)))
Mid-level-ontology.kif 25190-25197


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 is open source software produced by Articulate Software and its partners