TreeView Knowledge Base Browser - NonDenominationalIndividual

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

NonDenominationalIndividual

Sigma KEE - NonDenominationalIndividual

NonDenominationalIndividual(non denominational individual)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	People.kif 725-727
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11505-11505
No TPTP formula. May not be expressible in strict first order.	People.kif 724-724	Non denominational individual is an instance of internal attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40719-40719
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40718-40718
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40717-40717

antecedent

No TPTP formula. May not be expressible in strict first order.

People.kif 729-735

If non denominational individual is an attribute of an object,
then there doesn't exist a collection such that the collection is an instance of religious organization and the object is a member of the collection

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