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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AirPrint

Sigma KEE - AirPrint
AirPrint(AirPrint)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1852-1855
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1847-1850
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1841-1845
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1857-1861
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1840-1840 AirPrint is a subclass of computer network

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1868-1868 Apple created AirPrint
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1865-1865
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1864-1864
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1863-1863
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1866-1866

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1870-1875


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