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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Patent
Patent(patent)
more pictures...
letters_patent, patent, patent_of_invention

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3575-3576
No TPTP formula. May not be expressible in strict first order. Merge.kif 15660-15662
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2894-2894
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2899-2899
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2898-2898
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2900-2900
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2895-2895
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2720-2720
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2901-2901
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2897-2897
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2893-2893
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2896-2896
No TPTP formula. May not be expressible in strict first order. Merge.kif 15659-15659 Patent is a subclass of certificate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1046-1046
No TPTP formula. May not be expressible in strict first order. english_format.kif 1303-1303
No TPTP formula. May not be expressible in strict first order. french_format.kif 724-724
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 255-255
No TPTP formula. May not be expressible in strict first order. terms-it.txt 258-258
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2408-2408
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 676-676
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 260-260
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 294-294
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 745-745
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 259-259


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