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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2984-2984
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6004-6004
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2983-2983	Fax is a subclass of artifact mediated communication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23416-23416
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23415-23415
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23414-23414

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2986-2991	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