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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Series
Series(series)
Congressional_Record, Hansard, book_of_knowledge, canon, cliffhanger, soap_opera, tetralogy

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12415-12417
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2929-2929
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2931-2931
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2930-2930
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2734-2734
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12414-12414 Series is a subclass of text

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12359-12359 Broadcast program is a subclass of series
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12442-12442 Periodical is a subclass of series
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1042-1042
No TPTP formula. May not be expressible in strict first order. english_format.kif 1300-1300

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12386-12386 The number 1 argument of series volume is a subclass of series

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


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


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