TreeView Knowledge Base Browser - JoiningAnOrganization

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

JoiningAnOrganization

Sigma KEE - JoiningAnOrganization

JoiningAnOrganization(joining an organization)

accede, band_oneself, blackleg, cast, enrol, enroll, enter, fall_in, fink, get_together, induct, infiltrate, inscribe, instal, install, institutionalised, institutionalized, invest, join, league_together, noninstitutionalised, noninstitutionalized, penetrate, place, rat, readmit, recruit, rejoin, scab, seat, start, take_office, take_orders, take_up

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2947-2948
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10609-10610
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1702-1703
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10607-10607	Joining an organization is a subclass of organizational process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10680-10680	Leaving an organization is disjoint from joining an organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8020-8020	Baptizing is a subclass of joining an organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10753-10753	Hiring is a subclass of joining an organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21991-21991	Infiltration is a subclass of joining an organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10742-10742	Matriculation is a subclass of joining an organization
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1097-1097
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1405-1405
No TPTP formula. May not be expressible in strict first order.	french_format.kif 775-775
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 307-307
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 310-310
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2459-2459
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 727-727
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 346-346
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 796-796
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 311-311

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 2465-2472	If a process is an instance of joining an organization and an agent is an instance of agent and the agent is an agent of the process and a collection is a patient of the process and the process is an instance of organization, then the agent is a member of the collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10612-10620	If a process is an instance of joining an organization and an entity is an instance of organization and an agent is an agent of the process and the entity is a patient of the process, then the agent is not a member of the entity holds during the beginning of the time of existence of the process and the agent is a member of the entity holds during the end of the time of existence of the process

consequent

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

Mid-level-ontology.kif 14538-14544

If a physical is an instance of application,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of joining an organization or the other entity is an instance of unilateral giving

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