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 e' uma sub-classe de Artefato

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 e' uma instancia de PaperShredder ?CUT e' uma instancia de Cortar ?X e' um instrumento para ?CUT ?PAPER e' uma instancia de Paper ?PAPER e' um patient de ?CUT ?CBO e' situado em ?PAPER ?CBO e' uma instancia de VisualContentBearingObject ?CBO contem informacao ?INFO diminui a probabilidade de ?READ ?READ e' uma instancia de Interpreting ?INFO e' um patient de ?READ tempo de existencia de ?CUT acontence antes de tempo de existencia 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