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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OrganizationalProcess

 Sigma KEE - OrganizationalProcess
OrganizationalProcess(organizational process)acceptance_sampling, act, ad_blitz, ad_campaign, advertising_campaign, affiance, affiliate, affiliation, allotted, anodise, anodize, appointed, appointive, assigned, assignment, bank, bank_closing, betroth, brigade, centralised, centralized, charge, cheerlead, choose_up, clampdown, clock_in, clock_on, closure, cloture, co-opt, co-sign, collectivise, collectivize, commission, confirm, consolidate, convene, cosign, criminalisation, criminalization, cross-file, da'wah, dawah, decentralised, decentralized, decriminalisation, decriminalization, demob, demobilise, demobilize...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2942-2942
No TPTP formula. May not be expressible in strict first order. Merge.kif 10559-10560
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1695-1696
No TPTP formula. May not be expressible in strict first order. Merge.kif 10557-10557 Organizational process is a subclass of intentional process

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16287-16287 Beginning operations is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2248-2248 Car distribution system is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16325-16325 Ceasing operations is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10573-10573 Election is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Economy.kif 2395-2395 Exporting is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10703-10703 Firing is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 932-932 Founding is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10627-10627 Hiring is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10595-10595 Joining an organization is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16910-16910 Labor striking is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10667-10667 Leaving an organization is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10848-10848 Managing is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10833-10833 Military process is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16300-16300 Organizational merging is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10772-10772 Political process is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1375-1375 Public program is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10579-10579 Religious process is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16942-16942 Transferring position is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1094-1094
No TPTP formula. May not be expressible in strict first order. english_format.kif 1399-1399
No TPTP formula. May not be expressible in strict first order. french_format.kif 772-772
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 304-304
No TPTP formula. May not be expressible in strict first order. terms-it.txt 307-307
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2456-2456

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3327-3327 The number 3 argument of after tax income is an instance of organizational process
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3347-3347 The number 3 argument of before tax income is an instance of organizational process
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3293-3293 The number 3 argument of income earned is an instance of organizational process
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3307-3307 The number 3 argument of tax deferred income is an instance of organizational process

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10562-10571


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