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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Paper
Paper

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3542-3552
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 3553-3553 Paper est une sous-classe de artefact

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 3567-3575
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3555-3565

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 3118-3122
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3582-3587
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14898-14900
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17156-17158
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4223-4230
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18217-18225

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18229-18246 ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X est une instance de PaperShredder ?CUT est une instance de couper ?X est un instrument pour ?CUT ?PAPER est une instance de Paper ?PAPER est un patient de ?CUT ?CBO est situ� � ?PAPER ?CBO est une instance de VisualContentBearingObject ?CBO contient information ?INFO diminue la probabilit� de ?READ ?READ est une instance de Interpreting ?INFO est un patient de ?READ temps d'existence de ?CUT arrive plus t�t que temps d'existence de ?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