TreeView Knowledge Base Browser - FormalMeeting

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FormalMeeting

FormalMeeting(formal meeting)

Constitutional_Convention, audience, camp_meeting, conference, consultation, convention, group_meeting, interview, meeting, plenum, psychotherapy_group, see, session, skull_session, visit

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15989-15989	Formal meeting is disjoint from social party
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15990-15991
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6561-6561
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6560-6560
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15988-15988	Formal meeting is a subclass of meeting

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16003-16003	Funeral is a subclass of formal meeting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16039-16039	Interviewing is a subclass of formal meeting
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2381-2381	Trade show is a subclass of formal meeting
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24722-24722
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24721-24721
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24720-24720

antecedent

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

Mid-level-ontology.kif 15993-15999

If a physical is an instance of formal meeting,
then there exists a process such that the process is an instance of planning and the physical is a result of the process and the time of existence of the process happens earlier than the time of existence of the physical

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6970-6976	If a physical is an instance of convention center, then the physical has the purpose there exists an entity such that the entity is an instance of formal meeting and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16058-16065	If a process is an instance of resolution, then there exist an agent and another process such that the agent is an instance of organization and the agent is an agent of the process and the process is a subprocess of the other process and the other process is an instance of formal meeting
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1706-1712	If an entity is an instance of hotel function room, then the statement there exists another entity such that the other entity is an instance of formal meeting and the other entity is located at the entity has the modal force of possibility

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