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 4083-4093
No TPTP formula. May not be expressible in strict first order. pictureList.kif 653-653 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ education/ supplies/ supplies_2/ paper_01.png" is a URL depicting paper
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4094-4094 Paper is a subclass of artifact

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7801-7801 "paper" is the printable form of paper in english language

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


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

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 3662-3666
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15561-15581
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4120-4125
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12315-12317
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14453-14455
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4700-4707
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15551-15559


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