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 ?AutonomousAgent) means that ?TelecomNumber identifies a FaxMachine at which ?AutonomousAgent can be contacted.") Mid-level-ontology.kif 25154-25156
(domain faxNumber 1 TelecomNumber) Mid-level-ontology.kif 25152-25152 faxNumber 的 1 数量 是 TelecomNumberinstance
(domain faxNumber 2 AutonomousAgent) Mid-level-ontology.kif 25153-25153 faxNumber 的 2 数量 是 施事体instance
(instance faxNumber AsymmetricRelation) Mid-level-ontology.kif 25151-25151 faxNumber非对称关系instance
(instance faxNumber BinaryPredicate) Mid-level-ontology.kif 25150-25150 faxNumber二元谓语instance

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


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

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


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

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


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


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