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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Paper
Paper(paper)
Post-It, chad, dimple, dimpled_chad, greaseproof_paper, hanging_chad, manifold, manifold_paper, paper, paper_tape, piece_of_paper, pregnant_chad, sheet, sheet_of_paper, style_sheet, swinging_chad, tissue, tissue_paper, tri-chad, waste_paper, wrapping_paper, writing_paper

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4089-4099
No TPTP formula. May not be expressible in strict first order. pictureList.kif 653-653
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4100-4100 Paper is a subclass of artifact

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44179-44179
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44178-44178
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44177-44177

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4102-4112

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2717-2735
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3668-3672
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15945-15965
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4126-4131
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12627-12629
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14766-14768
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4705-4712
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15935-15943


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners