TreeView Knowledge Base Browser - ExecutiveResidence

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ExecutiveResidence

Sigma KEE - ExecutiveResidence

ExecutiveResidence(executive residence)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1503-1504
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5995-5995
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6497-6497
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6498-6498
No TPTP formula. May not be expressible in strict first order.	Government.kif 1502-1502	Executive residence is a subclass of permanent residence

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22762-22762
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22761-22761
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22760-22760

antecedent

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

Government.kif 1506-1512

If a permanent residence is an instance of executive residence,
then there exist a geopolitical area, a position and a human such that the permanent residence is located at the geopolitical area and the home of the human is the permanent residence and the geopolitical area chief of state the position for the human

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