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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - faxNumber
faxNumber

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


(documentation faxNumber EnglishLanguage "(faxNumber ?TelecomNumber ?AutonomousAgent) means that ?TelecomNumber identifies a FaxMachine at which ?AutonomousAgent can be contacted.") Mid-level-ontology.kif 26273-26275
(domain faxNumber 1 TelecomNumber) Mid-level-ontology.kif 26271-26271 The number 1 argument of fax number is an instance of telecom number
(domain faxNumber 2 AutonomousAgent) Mid-level-ontology.kif 26272-26272 The number 2 argument of fax number is an instance of agent
(instance faxNumber AsymmetricRelation) Mid-level-ontology.kif 26270-26270 fax number is an instance of asymmetric relation
(instance faxNumber BinaryPredicate) Mid-level-ontology.kif 26269-26269 fax number is an instance of binary predicate

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


(format ChineseLanguage faxNumber "%2 的 fax number 是 %1 ") domainEnglishFormat.kif 3424-3424
(format ChineseTraditionalLanguage faxNumber "%2 的 fax number 是 %1 ") domainEnglishFormat.kif 3423-3423
(format EnglishLanguage faxNumber "the fax number of %2 is %1") domainEnglishFormat.kif 3422-3422
(termFormat EnglishLanguage faxNumber "fax number") domainEnglishFormat.kif 65861-65861

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


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

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


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


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