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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Book

 Sigma KEE - Book
Book(livre)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26396-26396
No TPTP formula. May not be expressible in strict first order. pictureList.kif 281-281
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2761-2761
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2648-2648
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2758-2758
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2760-2760
No TPTP formula. May not be expressible in strict first order. pictureList.kif 46-46
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2759-2759
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26395-26395 Livre est une sous-classe de Document
No TPTP formula. May not be expressible in strict first order. Media.kif 1073-1073 Livre est une sous-classe de HardcopyDocument

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14677-14677 Article est disjoint de livre
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7863-7863 ChristianBible est une sous-classe de livre
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26398-26398 GuideBook est une sous-classe de livre
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7878-7878 NewTestament est une sous-classe de livre
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14945-14945 Novel est une sous-classe de livre
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7874-7874 OldTestament est une sous-classe de livre
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14912-14912 ReferenceBook est une sous-classe de livre
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1040-1040
No TPTP formula. May not be expressible in strict first order. english_format.kif 1291-1291
No TPTP formula. May not be expressible in strict first order. french_format.kif 718-718
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 20-20
No TPTP formula. May not be expressible in strict first order. terms-it.txt 22-22
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2402-2402
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 670-670
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 23-23
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 288-288
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 739-739
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 23-23

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1900-1904
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14681-14690
No TPTP formula. May not be expressible in strict first order. Media.kif 1075-1083

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7600-7618
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14697-14702
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8479-8485
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14649-14657


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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