TreeView Knowledge Base Browser - Fax

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Fax

Sigma KEE - Fax

Fax(fax)

appearance as argument number 1

(documentation Fax EnglishLanguage "The communication of a printed page between remote locations.")	Mid-level-ontology.kif 3447-3447
(externalImage Fax "http://upload.wikimedia.org/wikipedia/en/1/1c/Samfax.jpg")	pictureList.kif 6003-6003
(subclass Fax ArtifactMediatedCommunication)	Mid-level-ontology.kif 3446-3446	Fax is a subclass of artifact mediated communication

appearance as argument number 2

(termFormat ChineseLanguage Fax "传真")	domainEnglishFormat.kif 23418-23418
(termFormat ChineseTraditionalLanguage Fax "傳真")	domainEnglishFormat.kif 23417-23417
(termFormat EnglishLanguage Fax "fax")	domainEnglishFormat.kif 23416-23416

antecedent

(=> (instance ?ACT Fax) (exists (?MSG) (and (instance ?MSG FaxMessage) (result ?ACT ?MSG))))	Media.kif 1017-1022	If a process is an instance of fax, then there exists an entity such that the entity is an instance of fax message and the entity is a result of the process
(=> (instance ?Fax Fax) (exists (?FaxMachine) (and (instance ?FaxMachine FaxMachine) (instrument ?Fax ?FaxMachine))))	Mid-level-ontology.kif 3449-3454	If a process is an instance of fax, then there exists the processMachine such that the processMachine is an instance of fax machine and the processMachine is an instrument for the process

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