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 3992-4002
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 4003-4003 Paper is a subclass of artifact

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44288-44288
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44287-44287
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44286-44286

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4017-4025
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4005-4015

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2717-2728
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3568-3572
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4032-4037
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16244-16246
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18516-18518
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4673-4680
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19761-19769

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19773-19790 There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?READ


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