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 26785-26788
(domain mobilePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 26782-26782 The number 1 argument of mobile phone number is an instance of telecom number
(domain mobilePhoneNumber 2 AutonomousAgent) Mid-level-ontology.kif 26783-26783 The number 2 argument of mobile phone number is an instance of agent
(instance mobilePhoneNumber AsymmetricRelation) Mid-level-ontology.kif 26781-26781 mobile phone number is an instance of asymmetric relation
(instance mobilePhoneNumber BinaryPredicate) Mid-level-ontology.kif 26780-26780 mobile phone number is an instance of binary predicate
(subrelation mobilePhoneNumber telephoneNumber) Mid-level-ontology.kif 26784-26784 mobile phone number is a subrelation of telephone number

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


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

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


(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (instance ?DEVICE MobileCellPhone)
            (mobilePhoneNumber ?NUMBER ?AGENT)))
    (holdsDuring ?TIME
        (possesses ?AGENT ?DEVICE)))
Mid-level-ontology.kif 26806-26812
(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (mobilePhoneNumber ?NUMBER ?AGENT)))
    (instance ?DEVICE MobileCellPhone))
Mid-level-ontology.kif 26790-26795

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


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


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