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

Formal Language: 



KB Term:  Term intersection
English Word: 

  faxNumber

 Sigma KEE - faxNumber
faxNumber

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


(documentation faxNumber EnglishLanguage "(faxNumber ?TelecomNumber ?Agent) means that ?TelecomNumber identifies a FaxMachine at which ?Agent can be contacted.") Mid-level-ontology.kif 24506-24508
(domain faxNumber 1 TelecomNumber) Mid-level-ontology.kif 24504-24504
(domain faxNumber 2 Agent) Mid-level-ontology.kif 24505-24505
(instance faxNumber AsymmetricRelation) Mid-level-ontology.kif 24503-24503
(instance faxNumber BinaryPredicate) Mid-level-ontology.kif 24502-24502

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


(format ChineseLanguage faxNumber "%2 的 fax number 是 %1 ") domainEnglishFormat.kif 3431-3431
(format ChineseTraditionalLanguage faxNumber "%2 的 fax number 是 %1 ") domainEnglishFormat.kif 3430-3430
(format EnglishLanguage faxNumber "the fax number of %2 is %1") domainEnglishFormat.kif 3429-3429

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


(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (faxNumber ?NUMBER ?AGENT)))
    (instance ?DEVICE FaxMachine))		 Mid-level-ontology.kif 24519-24524

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


(=>
    (and
        (instance ?DEVICE FaxMachine)
        (holdsDuring ?TIME
            (and
                (deviceTelecomNumber ?NUMBER ?DEVICE)
                (possesses ?AGENT ?DEVICE))))
    (holdsDuring ?TIME
        (faxNumber ?NUMBER ?AGENT)))		 Mid-level-ontology.kif 24510-24517


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

Show without tree


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